Joogie

MaRDI QIDQ25683swMATHFDO

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

Cited in

(11)

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

This page was built for software: Joogie