Finding Feasible Counter-examples when Model Checking Abstracted Java Programs

This publication has 15 references indexed in Scilit:

• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
  Published by Springer Nature ,1999
• A deadlock detection tool for concurrent Java programs
  Software: Practice and Experience, 1999
• Computing abstractions of infinite state systems compositionally and automatically
  Published by Springer Nature ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Model checking using adaptive state and data abstraction
  Published by Springer Nature ,1994
• 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