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.
Answer the Quiz on "The SLAM Toolkit" correctly. (You can retry until you pass.)

Matris

Titel:

Titel

Titel
Kriterier	Bedömningar	Poäng
Beskrivning av kriterium tröskel: 5 poäng Redigera beskrivning av kriterium Ta bort kriterium rad	5 till >0 poäng Full poäng blank 0 till >0 poäng Inga poäng blank_2 Det här området kommer användas av utvärderaren för kommentarer relaterade till det här kriteriet.	poäng / 5 poäng --
Beskrivning av kriterium tröskel: 5 poäng Redigera beskrivning av kriterium Ta bort kriterium rad	5 till >0 poäng Full poäng blank 0 till >0 poäng Inga poäng blank_2 Det här området kommer användas av utvärderaren för kommentarer relaterade till det här kriteriet.	poäng / 5 poäng --