Language-Theoretic Abstraction Refinement

This publication has 23 references indexed in Scilit:

• Complexity of pattern-based verification for multithreaded programs
  ACM SIGPLAN Notices, 2011
• Predicate abstraction and refinement for verifying multi-threaded programs
  ACM SIGPLAN Notices, 2011
• Bounded Underapproximations
  Lecture Notes in Computer Science, 2010
• Strongly Regular Grammars and Regular Approximation of Context-Free Languages
  Lecture Notes in Computer Science, 2009
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
  2008
• Verifying Concurrent Message-Passing C Programs with Recursive Calls
  Lecture Notes in Computer Science, 2006
• Race checking by context inference
  2004
• Counterexample-guided abstraction refinement for symbolic model checking
  Journal of the ACM, 2003
• A Generic Approach to the Static Analysis of Concurrent Programs with Procedures
  International Journal of Foundations of Computer Science, 2003
• The SLAMproject
  ACM SIGPLAN Notices, 2002