Verification of a multiprocessor cache protocol using simulation relations and higher-order logic (summary)
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 302-311
- https://doi.org/10.1007/bfb0023744
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Verification of multiprocessor cache protocol using simulation relations and higher-order logicPublished by American Mathematical Society (AMS) ,1991
- Reasoning about state machines in higher-order logicPublished by Springer Nature ,1990
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Formal Verification of the Sobel Image Processing ChipPublished by Springer Nature ,1989
- Correctness Properties of the Viper Block Model: The Second LevelPublished by Springer Nature ,1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- 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
- Hierarchical correctness proofs for distributed algorithmsPublished by Association for Computing Machinery (ACM) ,1987
- Automatic Verification of Sequential Circuits Using Temporal LogicIEEE Transactions on Computers, 1986