|
Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model Checking |
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software using Model Checking, August 2003.
John Hatcliff, Robby, Matthew B. Dwyer.
In the Proceedings of the Fifth International Conference on
Verification, Model Checking and Abstract Interpretation (VMCAI 2004).
Technical Report, SAnToS-TR2003-7.
pdf (Last updated: November 11, 2003). examples
|
