A framework for reasoning about time and reliability
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 102-111
- https://doi.org/10.1109/real.1989.63561
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Reasoning about fair concurrent programsPublished by Association for Computing Machinery (ACM) ,1986
- Probabilistic temporal logics for finite and bounded modelsPublished by Association for Computing Machinery (ACM) ,1984
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Reasoning with time and chanceInformation and Control, 1982
- Proving real-time properties of programs with temporal logicPublished by Association for Computing Machinery (ACM) ,1981
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969