Next: Bits of History Up: Formal Specification and Verification Previous: Fairness Property Contents

Verification as Model Checking

Subsections

Bits of History
General Idea
Symbolic Model Checking
- Ordered Binary Decision Diagrams
- Fixpoint Representations
The SMV-Model Checker Software

Gerd Doeben-Henisch 2010-03-03