Package Documentation

cmd Implements command line interface, and miscellaneous commands.
compile Compilation of NuSMV input language into BDD.
dd Header file for Decisison Diagram Package.
img Methods for performing image computations.
ltl Routines to handle with LTL model checking.
mc Fair CTL model checking algorithms. External header file.
node The header file of the node package.
opt The option header file.
parser Interface with the parser
simulate External Header File for MC Simulator
sm "Main" package of NuSMV ("sm" = system main).

Last updated on 990908 16h51