Background material for model checking

Read Introduction to model checking Download Introduction to model checking
by S. Merz (preprint of chapter 3 of "Modeling and Verification of Real-Time Systems: Formalisms and Software Tools"). We recommend that you study this text twice: First as background material after having taken the lecture "Introduction to Model Checking", and then again to help you prepare for the exam.
Now or later in the course (during the JPF module): Read The SLAM toolkit Download The SLAM toolkit
by Ball and Rajamani (if the previous link does not work, try this link: https://link.springer.com/content/pdf/10.1007/3-540-44585-4_25.pdf Links to an external site.).
Answer the Quiz on "The SLAM Toolkit" correctly. (You can retry until you pass.)

Rubric

Title:

Title

Title
Criteria	Ratings	Pts
Description of criterion threshold: 5 pts Edit criterion description Delete criterion row	5 to >0 Pts Full marks blank 0 to >0 Pts No marks blank_2 This area will be used by the assessor to leave comments related to this criterion.	pts / 5 pts --
Description of criterion threshold: 5 pts Edit criterion description Delete criterion row	5 to >0 Pts Full marks blank 0 to >0 Pts No marks blank_2 This area will be used by the assessor to leave comments related to this criterion.	pts / 5 pts --