Shape Analysis through Predicate Abstraction and Model Checking

This publication has 21 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Automatic verification of parameterized networks of processes
  Theoretical Computer Science, 2001
• Interprocedural Shape Analysis for Recursive Programs
  Published by Springer Nature ,2001
• Verifying safety properties of concurrent Java programs using 3-valued logic
  ACM SIGPLAN Notices, 2001
• Proving Pointer Programs in Hoare Logic
  Published by Springer Nature ,2000
• A Decidable Logic for Describing Linked Data Structures
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Automatic verification of pointer programs using monadic second-order logic
  ACM SIGPLAN Notices, 1997
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960