M. J. C. Gordon. LCF-LSM: A system for specifying and verifying hardware. Computer Laboratory, University of Cambridge, Technical report 41, 1983. 53 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Algebraic Framework for Modelling and Verifying Microprocessors.. - Fox (2001) (1 citation) (Correct)
.... avionics processor by Srivas and Miller [27] the FM8501 processor verification by Hunt [19] work on the VIPER microprocessor (reviewed in [1] Windley s work on Generic Interpreters [31] and the correctness of pipelined processors with Coe [32] Gordon s work with HOL and LCF LSM, for example [11, 12]; and Melham s work on abstraction mechanism for hardware verification [22, 23] This example is a slight simplification of the full account because it does not take into consideration the effects of temporal abstraction. The algebraic approach to modelling microprocessors, as presented and ....
Mike J. C. Gordon. LCF-LSM: A system for specifying and verifying hardware. Technical Report 41, University of Cambridge Computer Laboratory, 1983.
Executing Temporal Logic Programs - Ben Moszkowski Address (1986) (113 citations) (Correct)
No context found.
M. J. C. Gordon. LCF-LSM: A system for specifying and verifying hardware. Computer Laboratory, University of Cambridge, Technical report 41, 1983. 53
X-Machine Specification and Refinement of Digital Devices - Bogdanov, Fairtlough.. (1997) (1 citation) (Correct)
No context found.
M. Gordon. LCF LSM: A system for specifying and verifying hardware. Technical Report 41, University of Cambridge Computer Laboratory, 1983.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC