Software Validation and Verification

Part II. Model Checking

Theory slides:

Theory LTL exercises (with solutions) from past exams

Lab work using SPIN

Documentation

Current lab assignment:

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