Past Projects

Some of the available tools and projects developed in the past as part of OSQ.
Some of these projects are still active, but are no longer associated with OSQ.
Banshee Cooperative Bug Isolation Project
Blast Cqual
Build Interceptor Delta
CCured Elkhound
Certified compilers
Chic The Open Verifier
Computer Proof Assistants




Page maintained by Joel Galenson.