Implementing Safety-Critical Systems: The VIPER Microprocessor-Reference-Cited by-同舟云学术

Implementing Safety-Critical Systems: The VIPER Microprocessor

Published:1988 Issue: Volume: Page:1-25
ISSN:0893-3405
Container-title:The Kluwer International Series in Engineering and Computer Science
language:
Short-container-title:

Author:

Cullyer W. J.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4613-2007-4_1

Reference11 articles.

1. Bramson B. D., “Malvern’s Program Analysers”, RSRE Research Review 1985.

2. Carre B. A. and Debney C., “SPADE Pascal”, Program Validation Ltd., UK, July 1985.

3. Cohn A. and Gordon M. J. C., “A Mechanized Proof of Correctness of a Simple Counter”, University of Cambridge Computer Laboratory, Technical Report No. 94, July 1986.

4. Cohn A., “A Proof of Correctness of the VIPER Microprocessor: The First Level”, in: VLSI Specification, Verification and Synthesis, (this volume).

5. Cullyer W. J., “Hardware Integrity”, Aeronautical Journal, Royal Aeronautical Society, UK, September 1985.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Michael John Caldwell Gordon. 28 February 1948—22 August 2017;Biographical Memoirs of Fellows of the Royal Society;2018-09-12

2. Algebraic Models of Superscalar Microprocessor Implementations: a Case Study;Prospects for Hardware Foundations;1998

3. Using PVS to prove a Z refinement: A case study;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997

4. On combining formal and informal verification;Computer Aided Verification;1997

5. An algebraic model of correctness for superscalar microprocessors;Formal Methods in Computer-Aided Design;1996