Corral: Capturing Concurrency
Corral is a whole-program analysis tool for Boogie programs. Corral uses bounded goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3.
Corral is open source. You can obtain it from: corral.codeplex.com. See the documentation tab for instructions on how to build and run corral. Please send feedback to verifierq AT microsoft DOT com.