jMoped: A Java Bytecode Checker Based on Moped
No abstract available.
Related papers
- jMoped: A Test Environment for Java Programs CAV 2007
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- A Formal Framework for the Java Bytecode Language and Verifier OOPSLA 1999
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- Reified type parameters using Java annotations GPCE 2013
- Java Bytecode Verification: An Overview CAV 2001
- Berlioz: Compiling Oz to Java Bytecode APLAS 2000