OpenJML

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