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.

Download

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.

 

People
Akash Lal
Akash Lal

Kenneth McMillan
Kenneth McMillan

Shaz Qadeer
Shaz Qadeer

Shuvendu Lahiri
Shuvendu Lahiri

Publications