Fast lecture about Temporal Logic of Actions - new directions.
This is a short presentation of the TLA+ specification language and model checking tool for the course of Formal Methods for Concurrent and Real-time Systems held at Politecnico di Milano (Italy).
You can download the PDF slides here.
If you wish to know more about TLA+ please visit The TLA+ Home Page.
The theme of this presentation is based on https://github.com/elauksap/beamerthemepolimi.
Credits for the images used in the presentation can be found on the last slide.