Ricky W. Butler and Jon A. Sjogren. Hardware proofs using EHDM and the RSRE verification methodology. NASA Technical Memorandum 100669, December 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
....the initiation of a Memorandum Of Understanding between NASA Langley and the developers of the Viper microprocessor at the Royal Signals and Radar Establishment (RSRE) at Malvern, England. Butler and Sjogren had performed a study of the RSRE hardware verification methodology in SRI s EHDM prover [12]. The first work performed by CLI was an evaluation of the overall RSRE methodology [5] The first tasks undertaken toward the development of a basis of formally verified fault tolerant algorithms were a continuation of earlier work initiated in the SIFT project [28] SIFT had been developed at ....
Ricky W. Butler and Jon A. Sjogren. Hardware proofs using EHDM and the RSRE verification methodology. NASA Technical Memorandum 100669, December 1988.
NASA Langley's Research and Technology-Transfer.. - Butler.. (1998) (8 citations) Self-citation (Ricky) (Correct)
....Boeing and U.C. Davis also performed an assessment of the U.K. Royal Signals and Radar Establishment s (RSRE) VIPER chip [77] This was part of a now completed 3 year Memorandum of Understanding (MOU) with RSRE. CLI and Langley researchers also performed assessments of the VIPER project[10, 24, 18]. Application of formal methods to the suite of Intel like devices and the PIU demonstrated that formal methods can be practically applied to the digital hardware devices being developed by Boeing today and provided insight on how to make the process more cost effective. 4.3.7 Asynchronous ....
Butler, Ricky W.; and Sjogren, Jon A.: Hardware Proofs Using EHDM and the RSRE Verification Methodology. NASA Technical Memorandum 100669, Dec. 1988.
NASA Langley's Research and Technology-Transfer Program in.. - Ricky Butler (1995) (8 citations) Self-citation (Ricky) (Correct)
....Boeing and U.C. Davis also performed an assessment of the U.K. Royal Signals and Radar Establishment s (RSRE) VIPER chip [66] This was part of a now completed 3 year Memorandum of Understanding (MOU) with RSRE. CLI and Langley researchers also performed assessments of the VIPER project[10, 20, 17]. Application of formal methods to the suite of Intel like devices and the PIU demonstrated that formal methods can be practically applied to the digital hardware devices being developed by Boeing today and provided insight on how to make the process more cost effective. 5.3.2 CSDL Scoreboard ....
Butler, Ricky W.; and Sjogren, Jon A.: Hardware Proofs Using EHDM and the RSRE Verification Methodology. NASA Technical Memorandum 100669, Dec. 1988.
An Introduction to Formal Specification and Verification using.. - Rushby, al. (1991) (17 citations) (Correct)
No context found.
R. W. Butler and J. A. Sjogren. Hardware proofs using Ehdm and the RSRE verification methodology. NASA Technical Memorandum 100669, NASA Langley Research Center, 1988.
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