Links

Calysto http://www.domagoj-babic.com/index.php/ResearchProjects/Calysto
Formal Verification Group http://www.verify.ethz.ch/
LLVM http://llvm.org/
MiniSAT http://minisat.se/
SSA (Static Single Assignment) http://en.wikipedia.org/wiki/Static_single_assignment_form