JayHorn: A Framework for Verifying Java programs
No abstract available.
Related papers
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- Towards String Support in JayHorn (Competition Contribution) TACAS 2021
- A Formal Framework for the Java Bytecode Language and Verifier OOPSLA 1999
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Verifying OpenJDK's LinkedList using KeY TACAS 2020
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- Semantics-based program verifiers for all languages OOPSLA 2016