CHASE: A Static Checker for JML's Assignable Clause
Abstract elided by the publisher.
Related papers
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- Encoding Redundancy for Satisfaction-Driven Clause Learning TACAS 2019
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- A Bytecode Logic for JML and Types APLAS 2006
- The LOOP Compiler for Java and JML TACAS 2001
- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way ECOOP 2002
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005