15-399 Constructive Logic
Lecture 26: Symbolic Model Checking

In this lecture we introduce the use of OBDDs for model checking. In the early 90s this provided a major breakthrough, allowing more and more complex systems and properties to be verified by model-checking. The resulting techniques are called symbolic model checking.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

Frank Pfenning