Reasoning about state machines in higher-order logic
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Formal Verification and Implementation of a MicroprocessorPublished by Springer Nature ,1988
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- A Proof of Correctness of the Viper Microprocessor: The First LevelPublished by Springer Nature ,1988
- Myths about the mutual exclusion problemInformation Processing Letters, 1981
- The denotational semantics of sequential machinesInformation Processing Letters, 1980