The following pages link to OpenJML (Q31665):
Displaying 6 items.
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- (Q2979818) (← links)