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 |