Next:
The SMV-Model Checker Software
Up:
Symbolic Model Checking
Previous:
Ordered Binary Decision Diagrams
Contents
Fixpoint Representations
Gerd Doeben-Henisch 2010-03-03