Next:
Model Checking.
Up:
System Architecture
Previous:
FSM Compiler.
Fairness.
This module deals with the fairness constraints. It provides the model checking module with the information contained in the fairness constraints, if any.
NuSMV
<
>
>