Package Documentation


bmc The header file for the bmc package
cmd Implements command line interface, and miscellaneous commands.
compile Compilation of NuSMV input language into BDD.
dag Directed acyclic graphs with sharing.
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
prop Manager of generic properties
rbc Formula handling with Reduced Boolean Circuits (RBCs).
set Generic Set Data Structure
sim The Satisfiability Internal Module (SIM) package.
simulate External Header File for MC Simulator
sm "Main" package of NuSMV ("sm" = system main).

Last updated on 1011105 17h41