The NuSMV Package Structure
addons/compass
bmc
bmc/sbmc
compile
compile/symb_table
compile/type_checking
compile/type_checking/checkers
enc
enc/base
enc/bdd
enc/be
enc/bool
enc/utils
fsm
fsm/bdd
fsm/be
fsm/sexp
node
node/normalizers
node/printers
parser
parser/idlist
parser/ord
parser/psl
rbc
rbc/clg
sat
sat/solvers
trace
trace/eval
trace/exec
trace/loaders
trace/plugins
trans
trans/bdd
trans/generic
utils
utils/structs
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
normalizers
printers
opt
parser
idlist
ord
psl
prop
rbc
clg
sat
solvers
set
simulate
sm
trace
eval
exec
loaders
plugins
trans
bdd
generic
utils
structs
NuSMV
<
nusmv@fbk.eu
>