Efficient verification of parallel real-time systems
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 321-332
- https://doi.org/10.1007/3-540-56922-7_27
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A stubborn attack on state explosionFormal Methods in System Design, 1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Acceleration of timing verification method based on time petri netsSystems and Computers in Japan, 1991
- Defining Conditional Independence Using CollapsesPublished by Springer Nature ,1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- A Graph-Theoretic Approach for Timing Analysis and its ImplementationIEEE Transactions on Computers, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976