Context-Bounded Model Checking of Concurrent Software

This publication has 18 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Modular verification of software components in C
  IEEE Transactions on Software Engineering, 2004
• Race checking by context inference
  Published by Association for Computing Machinery (ACM) ,2004
• Thread-Modular Abstraction Refinement
  Published by Springer Nature ,2003
• ESP
  Published by Association for Computing Machinery (ACM) ,2002
• Bounded Model Checking Using Satisfiability Solving
  Formal Methods in System Design, 2001
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• Context-Free Languages and Pushdown Automata
  Published by Springer Nature ,1997
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997