Extending promela and spin for real time
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 329-348
- https://doi.org/10.1007/3-540-61042-1_53
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Combining partial order reductions with on-the-fly model-checkingLecture Notes in Computer Science, 1994
- Verification with real-time COSPANLecture Notes in Computer Science, 1993
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987
- An O(n log n) unidirectional distributed algorithm for extrema finding in a circleJournal of Algorithms, 1982