Software Model Checking: The VeriSoft Approach

This publication has 57 references indexed in Scilit:

• Using partial orders to improve automatic verification methods
  Published by Springer Nature ,2005
• Monitoring Java Programs with Java PathExplorer
  Electronic Notes in Theoretical Computer Science, 2001
• Automatic synthesis of specifications from the dynamic observation of reactive programs
  Published by Springer Nature ,1997
• State-space caching revisited
  Formal Methods in System Design, 1995
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Techniques for debugging parallel programs with flowback analysis
  ACM Transactions on Programming Languages and Systems, 1991
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983