The spy: A mechanism for safe implementation of highly concurrent systems
- 31 December 1988
- journal article
- Published by Elsevier in Annual Review in Automatic Programming
- Vol. 14, 75-81
- https://doi.org/10.1016/0066-4138(88)90012-2
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Framework for Software Fault Tolerance in Real-Time SystemsIEEE Transactions on Software Engineering, 1983
- Software Issues In Redundant Sequential ControlIEEE Transactions on Industrial Electronics, 1982
- Application of a Methodology for the Development and Validation of Reliable Process Control SoftwareIEEE Transactions on Software Engineering, 1981
- Test Generation for MicroprocessorsIEEE Transactions on Computers, 1980
- An Approach to Concurrent Control Flow CheckingIEEE Transactions on Software Engineering, 1980
- An Optimal Approach to Fault Tolerant Software Systems DesignIEEE Transactions on Software Engineering, 1978
- Optimal placement of software monitors aiding systematic testingIEEE Transactions on Software Engineering, 1975
- Concurrent software fault detectionIEEE Transactions on Software Engineering, 1975
- An introduction to observersIEEE Transactions on Automatic Control, 1971