Optimistic Synchronization-Based State-Space Reduction

This publication has 11 references indexed in Scilit:

• A Modular Checker for Multithreaded Programs
  Published by Springer Nature ,2002
• Detecting race conditions in large programs
  Published by Association for Computing Machinery (ACM) ,2001
• Compositional pointer and escape analysis for Java programs
  Published by Association for Computing Machinery (ACM) ,1999
• Reduction in TLA
  Published by Springer Nature ,1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Stubborn set methods for process algebras
  Published by American Mathematical Society (AMS) ,1997
• Partial-Order Methods for the Verification of Concurrent Systems
  Published by Springer Nature ,1996
• A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
  Information and Computation, 1994
• Reduction
  Communications of the ACM, 1975