Model checking Java programs using structural heuristics

This publication has 12 references indexed in Scilit:

• Automating software feature verification
  Bell Labs Technical Journal, 2002
• Lazy abstraction
  Published by Association for Computing Machinery (ACM) ,2002
• Directed explicit model checking with HSF-SPIN
  Published by Springer Nature ,2001
• Using predicate abstraction to reduce object-oriented programs for model checking
  Published by Association for Computing Machinery (ACM) ,2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Symbolic guided search for CTL model checking
  Published by Association for Computing Machinery (ACM) ,2000
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Algorithms for Automated Protocol Verification
  AT&T Technical Journal, 1990
• Protocol verification using reachability analysis: the state space explosion problem and relief strategies
  ACM SIGCOMM Computer Communication Review, 1987
• A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  IEEE Transactions on Systems Science and Cybernetics, 1968