Verifying Concurrent Message-Passing C Programs with Recursive Calls

This publication has 22 references indexed in Scilit:

• Weighted pushdown systems and their application to interprocedural dataflow analysis
  Science of Computer Programming, 2005
• Context-Bounded Model Checking of Concurrent Software
  2005
• A BDD-Based Model Checker for Recursive Programs
  2001
• Context-sensitive synchronization-sensitive analysis is undecidable
  ACM Transactions on Programming Languages and Systems, 2000
• Counterexample-Guided Abstraction Refinement
  2000
• Construction of abstract state graphs with PVS
  1997
• Reachability analysis of pushdown automata: Application to model-checking
  1997
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• Assignment and Linked Data Structures
  1982
• Concurrent manipulation of binary search trees
  ACM Transactions on Database Systems, 1980