Boogie IVL back-ends¶

Boogie¶

Todo

Briefly discuss boogie verifier and provide link

Boogaloo is a symbolic execution engine for Boogie IVL programs. More information can be found at https://bitbucket.org/nadiapolikarpova/boogaloo/wiki/Home

Corral is a solver for the reachability modulo theories problem. More information can be found at https://github.com/boogie-org/corral

Todo

Briefly discuss corral and provide link

Symbooglix is a symbolic execution engine for Boogie IVL programs. More information can be found at https://symbooglix.github.io .

Whoop is a SMACK-based symbolic data race analyzer for Linux device drivers. More information can be found at https://github.com/smackers/whoop