NuSMV

NuSMV is a symbolic model checker. NuSMV2, combines BDD-based model checking and SAT-based model checking.

• User Manual
• Tutorial
• Foils
• A copy of the NuSMV binary is available on DICE at /home/mfourman/bin/NuSMV