Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Slides: Introduction to Model Checking (slides provided by J. Esparza, S. Merz - slides 1--15)
Click slides_Esparza_Merz.pdf link to view the file.