Formal verification of algorithms for critical systems
- 1 September 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 16 (5) , 1-15
- https://doi.org/10.1145/125083.123044
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Design strategy for a formally verified reliable computing platformPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989
- The MAFT architecture for distributed fault toleranceIEEE Transactions on Computers, 1988
- Synchronizing clocks in the presence of faultsJournal of the ACM, 1985
- The "BUG" heard 'round the worldACM SIGSOFT Software Engineering Notes, 1981
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- Proofs and RefutationsPublished by Cambridge University Press (CUP) ,1976