Transactions for Software Model Checking
Open Access
- 30 September 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 89 (3) , 518-539
- https://doi.org/10.1016/s1571-0661(05)82560-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- EraserACM Transactions on Computer Systems, 1997
- Partial-Order Methods for the Verification of Concurrent SystemsPublished by Springer Nature ,1996
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972