Applying Model Checking in Java Verification

This publication has 12 references indexed in Scilit:

• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Data flow analysis for checking properties of concurrent Java programs
  Published by Association for Computing Machinery (ACM) ,1999
• Constructing compact models of concurrent Java programs
  Published by Association for Computing Machinery (ACM) ,1998
• Staging static analyses using abstraction-based program specialization
  Published by Springer Nature ,1998
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• An autonomous spacecraft agent prototype
  Published by Association for Computing Machinery (ACM) ,1997
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Special Issue on ML
  Journal of Functional Programming, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977