Temporal Debugging for Concurrent Systems
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 431-444
- https://doi.org/10.1007/3-540-46002-0_30
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- An open graph visualization system and its applications to software engineeringSoftware: Practice and Experience, 2000
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Simple On-the-fly Automatic Verification of Linear Temporal LogicPublished by Springer Nature ,1996
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977