Tracing the executions of concurrent programs
Open Access
- 31 December 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 70 (4) , 128-141
- https://doi.org/10.1016/s1571-0661(04)80581-4
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Temporal Debugging for Concurrent SystemsPublished by Springer Nature ,2002
- A Combined Testing and Verification Approach for Software ReliabilityPublished by Springer Nature ,2001
- Path Exploration ToolPublished by Springer Nature ,1999
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977