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