Microprocessing and Microprogramming
Volume 27, Issues 1–5, August 1989, Pages 649-656
Mechanizing the verification of real-time discrete systems☆
References (29)
- et al.
Nonclausal temporal deduction
- et al.
Proving real-time properties of programs with temporal logic
- et al.
A computational logic handbook
- et al.
Principles and engineering of process control with Petri nets
IEEE Transactions on Automatic Control
(1988) A compositional proof-system for an OCCAM-like real-time language
- et al.
Constraint logic programming
- et al.
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering
(1986) - et al.
A method for verifying properties of modechart specifications
- et al.
Real-time programming and asynchronous message passing
Compositional Semantics for Real-time Distributed Computing
Timed acceptances: a model of time dependent processes
Safety analysis using Petrinets
IEEE Transactions on Software Engineering
(1987)
Expressing requirements for distributed real-time systems
Cited by (0)
- ☆
This work is supported by the Natural Sciences and Engineering Research Council of Canada.
Copyright © 1989 Published by Elsevier B.V.