The following pages link to Joogie (Q25683):
Displayed 4 items.
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Severity Levels of Inconsistent Code (Q3460549) (← links)
- A Theory for Control-Flow Graph Exploration (Q5166718) (← links)