Next:
The Model Checking Kit
Up:
Specification and validation environment
Previous:
Infinite-state Symbolic Reachability Analysis
Finite-state Analysis and Model-checking
Subsections
The Model Checking Kit
The IF.OPEN tool-set