Safety and liveness in branching time
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Model Checking of Safety PropertiesPublished by Springer Nature ,1999
- Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executionsInformation Processing Letters, 1993
- Verification of Sequential and Concurrent ProgramsPublished by Springer Nature ,1991
- Temporal and Modal LogicPublished by Elsevier ,1990
- Beauty Is Our BusinessPublished by Springer Nature ,1990
- Recognizing safety and livenessDistributed Computing, 1987
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- FairnessPublished by Springer Nature ,1986
- On the Development of Reactive SystemsPublished by Springer Nature ,1985