Bytecode Model Checking: An Experimental Analysis

This publication has 12 references indexed in Scilit:

• Java Bytecode Verification: An Overview
  Published by Springer Nature ,2001
• Verified Bytecode Verifiers
  Published by Springer Nature ,2001
• Standard fixpoint iteration for Java bytecode verification
  ACM Transactions on Programming Languages and Systems, 2000
• A type system for object initialization in the Java bytecode language
  ACM Transactions on Programming Languages and Systems, 1999
• Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL
  Published by Springer Nature ,1999
• A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines
  Published by Springer Nature ,1999
• Data flow analysis is model checking of abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1998
• Program Analysis as Model Checking of Abstract Interpretations
  Published by Springer Nature ,1998
• Byte code verification for Java smart cards based on model checking
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997