Extending JML for Modular Specification and Verification of Multi-threaded Programs
No abstract available.
Related papers
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
- Mechanized verification of a fine-grained concurrent queue from meta's folly library CPP 2022
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Modular verification of assembly code with stack-based control abstractions PLDI 2006
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution) TACAS 2022
- Modular verification of a non-blocking stack POPL 2007