JVer: A Java Verifier
Abstract elided by the publisher.
Related papers
- Verifying a Compiler for Java Threads ESOP 2010
- A Certified Lightweight Non-interference Java Bytecode Verifier ESOP 2007
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL TACAS 1999
- JayHorn: A Framework for Verifying Java programs CAV 2016
- Evaluating Software Verifiers for C, Java, and SV-LIB - (Report on SV-COMP 2026) TACAS 2026
- J-ReCoVer: Java Reducer Commutativity Verifier APLAS 2019
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution) TACAS 2022