The NuSMV Package Structure
addons/compass
compile
parser
parser/ap
parser/prob
sigref
be
bmc
sbmc
cmd
compile
symb_table
type_checking
type_checking/checkers
dag
dd
enc
base
bdd
be
bool
utils
fsm
bdd
be
sexp
hrc
ltl
mc
node
printers
opt
parser
idlist
ord
psl
prop
rbc
clg
sat
solvers
set
simulate
sm
trace
exec
loaders
plugins
trans
bdd
generic
utils
structs
NuSMV
<
nusmv@fbk.eu
>