Proving properties of a safety-critical system
- 1 January 1991
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 6 (2) , 41-50
- https://doi.org/10.1049/sej.1991.0006
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- First-Order LogicPublished by Springer Nature ,1968