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