Effective Program Verification for Relaxed Memory Models

This publication has 16 references indexed in Scilit:

• A Memory Model Sensitive Checker for C#
  Published by Springer Nature ,2006
• Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
  Published by Springer Nature ,2006
• The Java memory model
  Published by Association for Computing Machinery (ACM) ,2005
• QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
  Published by Springer Nature ,2004
• Automatic fence insertion for shared memory multiprocessing
  Published by Association for Computing Machinery (ACM) ,2003
• Multiprocessors should support simple memory consistency models
  Computer, 1998
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• Shared memory consistency models: a tutorial
  Computer, 1996
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979
• A new solution of Dijkstra's concurrent programming problem
  Communications of the ACM, 1974