Sooner is safer than later
- 14 September 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 43 (3), 135-141
- https://doi.org/10.1016/0020-0190(92)90005-g
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- Safety and liveness from a methodological point of viewInformation Processing Letters, 1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- Safety without stutteringInformation Processing Letters, 1986
- Defining livenessInformation Processing Letters, 1985
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977