Project Website http://groups.csail.mit.edu/cap/
The MIT Computer-Aided Programming (CAP) Group aims to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems