Software Validation and Verification

Part II. Model Checking

Theory slides:

Theory LTL exercises (with solutions) from past exams (in Spanish):

A selection of the exercises above translated into English.

Lab work using SPIN

Documentation

Current lab assignment:

Talks about Formal Logic (World Logic Day, January 14th 2021)