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.