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
  Published by Springer Nature ,2005
• A BDD-Based Model Checker for Recursive Programs
  Published by Springer Nature ,2001
• Context-sensitive synchronization-sensitive analysis is undecidable
  ACM Transactions on Programming Languages and Systems, 2000
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Construction of abstract state graphs with PVS
  Published by Springer Nature ,1997
• Reachability analysis of pushdown automata: Application to model-checking
  Published by Springer Nature ,1997
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• Assignment and Linked Data Structures
  Published by Springer Nature ,1982
• Concurrent manipulation of binary search trees
  ACM Transactions on Database Systems, 1980