Pages that link to "Item:Q2947225"
From MaRDI portal
The following pages link to Building High Integrity Applications with SPARK (Q2947225):
Displaying 4 items.
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- Uniqueness types for efficient and verifiable aliasing-free embedded systems programming (Q6536347) (← links)