OpenJML
From MaRDI portal
Cited in
(14)- Verifying Whiley programs with Boogie
- Deductive verification of floating-point Java programs in KeY
- Instrumenting a weakest precondition calculus for counterexample generation
- JMLUnit
- BVD
- Atoment
- C-Light
- JBMC
- AutoProof
- QF_FP
- Formal specification and verification of JDK's identity hash map implementation
- IdentityHashMap
- A verification-driven framework for iterative design of controllers
- Integrated approach to analysis and verification of imperative programs
This page was built for software: OpenJML
