The NuSMV Package Structure
be
bmc
sbmc
cmd
compile
symb_table
type_checking
type_checkingcheckers
dag
dd
enc
base
bdd
be
bool
utils
fsm
bdd
be
sexp
ltl
mc
node
printers
opt
parser
idlist
ord
psl
prop
rbc
clg
sat
solvers
set
sim
simulate
sm
trace
plugins
trans
bdd
generic
utils
NuSMV
<
nusmv@irst.itc.it
>