Model Checkers

• SMV
• NuSMV
• Cadence SMV

Synchronous Programming

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

Binary Decision Diagrams

• BDD Portal
• CUDD
• BuDDy

SAT Solvers

• zChaff
• MiniSat

Miscellaneous

• Eclipse
• Apache XML Project
• Xerces-C++ XML Parser
• Boost C++ Libraries
• GNU Multiple Precision Arithmetic Library