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