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