Joogie

swMATH13771MaRDI QIDQ25683FDOQ25683

Author name not available (Why is that?)

Cited In (4)

• Verifying Whiley programs with Boogie
• Severity Levels of Inconsistent Code
• Leveraging compiler intermediate representation for multi- and cross-language verification
• A Theory for Control-Flow Graph Exploration

This page was built for software: Joogie