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