Video Presentation

I created my second Youtube video, explaining formal specification with the TLA+ language and explaining the meaning of the formulas in my module, ConsensusStub.tla. The video can help you to quickly understand how to interpret a TLA+ specification.

Here is a link to the Youtube presentation video which I recorded prior to my class presentation: http://www.youtube.com/watch?v=tJ1ITqsrPzY