A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
No abstract available.
Related papers
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005
- Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory POPL 2026
- The LOOP Compiler for Java and JML TACAS 2001
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties APLAS 2022
- Full functional verification of linked data structures PLDI 2008
- Modular Synthesis of Sketches Using Models VMCAI 2014