Constructing Quantified Invariants via Predicate Abstraction

This publication has 14 references indexed in Scilit:

• Counter-Example Based Predicate Discovery in Predicate Abstraction
  Published by Springer Nature ,2002
• Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
  Published by Springer Nature ,2002
• Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness
  Published by Springer Nature ,2002
• Predicate abstraction for software verification
  Published by Association for Computing Machinery (ACM) ,2002
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• The Mathematical Foundation of Symbolic Trajectory Evaluation
  Published by Springer Nature ,1999
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• The Classical Decision Problem
  Published by Springer Nature ,1997
• Verifying systems with replicated components in murϕ
  Published by Springer Nature ,1996
• 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