Corral is a whole-program analysis tool for Boogie programs that searches for assertion violations. Corral was developed by Microsoft Research.

Papers related to Corral verifier

• Verifying Rust programs with SMACK [baranowski:atva:2018]
• Boogie: A modular reusable verifier for object-oriented programs [barnett:fmco:2005]
• A solver for reachability modulo theories [lal:cav:2012]
• Powering the static driver verifier using Corral [lal:fse:2014]