OpenJML
From MaRDI portal
Software:31665
swMATH19841MaRDI QIDQ31665FDOQ31665
Author name not available (Why is that?)
Cited In (6)
- Verifying Whiley programs with Boogie
- Deductive verification of floating-point Java programs in KeY
- Instrumenting a weakest precondition calculus for counterexample generation
- Title not available (Why is that?)
- Formal specification and verification of JDK's identity hash map implementation
- A verification-driven framework for iterative design of controllers
This page was built for software: OpenJML
