Shape Analysis through Predicate Abstraction and Model Checking

This publication has 23 references indexed in Scilit:

• 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
  2001
• Verifying safety properties of concurrent Java programs using 3-valued logic
  ACM SIGPLAN Notices, 2001
• Proving Pointer Programs in Hoare Logic
  2000
• A Decidable Logic for Describing Linked Data Structures
  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
• Guarded commands, non-determinacy and a calculus for the derivation of programs
  1975
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960