Mechanizing the verification of real-time discrete systems
- 31 August 1989
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 27 (1-5) , 649-656
- https://doi.org/10.1016/0165-6074(89)90127-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Principles and engineering of process control with Petri netsIEEE Transactions on Automatic Control, 1988
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985
- Compositional semantics for real-time distributed computingPublished by Springer Nature ,1985
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976