Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking

This publication has 14 references indexed in Scilit:

• A type and effect system for atomicity
  Published by Association for Computing Machinery (ACM) ,2003
• Software Verification with BLAST
  Published by Springer Nature ,2003
• Optimistic Synchronization-Based State-Space Reduction
  Published by Springer Nature ,2003
• Type-based race detection for Java
  Published by Association for Computing Machinery (ACM) ,2000
• Bebop: A Symbolic Model Checker for Boolean Programs
  Published by Springer Nature ,2000
• Eraser
  ACM Transactions on Computer Systems, 1997
• A framework for parallel adaptive grid simulations
  Concurrency: Practice and Experience, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Combining partial order reductions with on-the-fly model-checking
  Published by Springer Nature ,1994
• Reduction
  Communications of the ACM, 1975