Using Runtime Analysis to Guide Model Checking of Java Programs

This publication has 19 references indexed in Scilit:

• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
  Published by Springer Nature ,1999
• Applying Model Checking in Java Verification
  Published by Springer Nature ,1999
• Remote Agent: to boldly go where no AI system has gone before
  Artificial Intelligence, 1998
• Computing abstractions of infinite state systems compositionally and automatically
  Published by Springer Nature ,1998
• Modeling and verification of sC++ applications
  Published by Springer Nature ,1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992