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
]
fp@cs
Frank Pfenning
|