Design Choices In Specification Languages And Verification Systems
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 195-204
- https://doi.org/10.1109/hol.1991.596287
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A formal specification of an oscilloscopeIEEE Software, 1990
- Polymorphic typed lambda-calculi in a type-free axiomatic frameworkContemporary Mathematics, 1990
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control SystemIEEE Transactions on Computers, 1982
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- Edinburgh LCFLecture Notes in Computer Science, 1979
- An example of hierarchical design and proofCommunications of the ACM, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Proofs and RefutationsPublished by Cambridge University Press (CUP) ,1976