Note
Corral is no longer maintained here. Corral has moved to GitHub: https://github.com/boogie-org/corral.

Project Description
Corral is a solver for the reachability modulo theories problem. Learn more here: http://research.microsoft.com/en-us/projects/verifierq.

Publications

Last edited Apr 16 at 3:07 AM by akashlal, version 5