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 Dec 25, 2013 at 2:05 PM by akashlal, version 4