I stopped working on these tools in 2008, but here are the old pages for a historical reference:

• Calysto static checker
• Spear theorem prover
• HyperSAT solver