Model Checkers

• SMV
• NuSMV
• Cadence SMV

Synchronous Programming

• The Esterel Language
• Synchronous Applications, Languages, and Programs
• Esterel Technologies

Binary Decision Diagrams

• CUDD
• BuDDy

SAT Solvers

• zChaff
• MiniSat

Miscellaneous

• Eclipse