Assertional specification and verification using PVS of the steam boiler control system
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 453-472
- https://doi.org/10.1007/bfb0027249
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Correctness of real time systems by constructionPublished by Springer Nature ,1994
- A compositional approach to the design of hybrid systemsPublished by Springer Nature ,1993
- Hybrid SystemsPublished by Springer Nature ,1993
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- An axiomatic basis for computer programmingCommunications of the ACM, 1969