The following pages link to Boogie (Q19731):
Displaying 14 items.
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- The dynamic frames theory (Q539422) (← links)
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Doomed program points (Q633286) (← links)
- Reasoning about memory layouts (Q633298) (← links)
- Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings (Q643151) (← links)
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Proving mutual termination (Q746783) (← links)
- (Q5875432) (← links)
