A Symbolic Semantics for Abstract Model Checking

This publication has 13 references indexed in Scilit:

• Testing-based abstractions for value-passing systems
  Published by Springer Nature ,2005
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Symbolic bisimulations
  Theoretical Computer Science, 1995
• Optimality in abstractions of model checking
  Published by Springer Nature ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Generation of reduced models for checking fragments of CTL
  Published by Springer Nature ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• 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