Joogie

swMATH13771MaRDI QIDQ25683FDOQ25683

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2487570

Cited In (11)

• Verifying Whiley programs with Boogie
• A theory for control-flow graph exploration
• Bixie
• Calysto
• Cascade
• CIVL
• Crust
• GraVy
• Pyston
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Severity levels of inconsistent code

This page was built for software: Joogie