The following pages link to (Q4343983):
Displaying 6 items.
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- An engineering process for the verification of real-time systems (Q877159) (← links)
- Real-time properties of indirect recursive procedures (Q1854477) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Refinement calculus: A basis for translation validation, debugging and certification (Q2368949) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
