The NuSMV Package Structure
be
bmc
cmd
compile
dag
dd
enc
bdd
symb
fsm
bdd
sexp
ltl
mc
node
opt
parser
ord
prop
rbc
sat
solvers
set
sim
simulate
sm
trace
plugins
trans
bdd
generic
utils
NuSMV
<
nusmv@irst.itc.it
>