Java Bytecode Verification by Model Checking
No abstract available.
DOI 10.1007/3-540-48683-6_43
Related papers
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode VMCAI 2002
- Java bytecode verification via static single assignment form TOPLAS 2008
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- Java Bytecode Verification: An Overview CAV 2001
- Java Bytecode Verification for @NonNull Types CC 2008
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006