Correctness of real time systems by construction
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Extending hoare logic to real-timeFormal Aspects of Computing, 1994
- Compositional verification of a distributed real-time arbitration protocolReal-Time Systems, 1994
- Towards a duration calculus proof assistant in PVSPublished by Springer Nature ,1994
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- Process theory: Semantics, specification and verificationPublished by Springer Nature ,1986
- An axiomatic basis for computer programmingCommunications of the ACM, 1969