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:
Old lab assignments from past courses: