Advanced Model Checking
Summer Semester 2013
First lecture on March 13.
This lecture is about algorithms for SAT and applications of SAT to model checking and related problems.
The lecture takes place Wednesdays from 15:30 to 17:00 in room MT 130.
Version 2013.4 of the slide set is available as amcslides.pdf.
You find a description of the Plaisted-Greenbaum polarity based encoding in our recent TACAS paper.
SMVFlatten tool to flatten SMV models.