swMATH19841MaRDI QIDQ31665FDOQ31665
Author name not available (Why is that?)
Official website: http://www.openjml.org/
Cited In (13)
- IdentityHashMap
- Verifying Whiley programs with Boogie
- Deductive verification of floating-point Java programs in KeY
- Instrumenting a weakest precondition calculus for counterexample generation
- BVD
- Atoment
- C-Light
- JBMC
- AutoProof
- Formal specification and verification of JDK's identity hash map implementation
- QF_FP
- 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
