Indexed Predicate Discovery for Unbounded System Verification

This publication has 25 references indexed in Scilit:

• Modular verification of software components in C
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• 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
• Parameterized Verification with Automatically Computed Inductive Assertions?
  Published by Springer Nature ,2001
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Regular Model Checking
  Published by Springer Nature ,2000
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• 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
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975