A compositional proof of a real-time mutual exclusion protocol
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 565-579
- https://doi.org/10.1007/bfb0030626
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Uppaal in 1995Published by Springer Nature ,1996
- Partial orders and verification of real-time systemsPublished by Springer Nature ,1996
- Diagnostic model-checking for real-time systemsPublished by Springer Nature ,1996
- From timed automata to logic — and backPublished by Springer Nature ,1995
- Compositional model checking of real time systemsPublished by Springer Nature ,1995
- Automated analysis of an audio control protocolPublished by Springer Nature ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Symmetry and model checkingPublished by Springer Nature ,1993
- Exploiting symmetry in temporal logic model checkingPublished by Springer Nature ,1993