Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

This publication has 19 references indexed in Scilit:

• The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
  Published by Springer Nature ,2004
• Numeric Domains with Summarized Dimensions
  Published by Springer Nature ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• New results on the computability and complexity of points--to analysis
  Published by Association for Computing Machinery (ACM) ,2003
• Shape Analysis through Predicate Abstraction and Model Checking
  Published by Springer Nature ,2002
• Lazy abstraction
  Published by Association for Computing Machinery (ACM) ,2002
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• A Decidable Logic for Describing Linked Data Structures
  Published by Springer Nature ,1999
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997