Friedrich von Henke, Natarajan Shankar, and John Rushby. Formal Semantics of Ehdm. Computer Science Laboratory, SRI International, Menlo Park, CA, January 1990. This document describes Ehdm Version 5.0; see [11] for informal descriptions of the changes in Version 5.2. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Formal Specification and Verification of a Fault-Masking and.. - Rushby (1991) (12 citations) Self-citation (Rushby Sri Menlo Ca) (Correct)
....The proof of the fault masking and transient recovery theorem is presented in the same way. The third chapter outlines the fully formal specification of the model, and its mechanically checked verification. These were undertaken using the Ehdm formal specification and verification system [9 11, 54, 63]; the Ehdm specification text and related material are given in the Appendices. The fourth chapter discusses the relationship between the model employed here and the similar one developed by Di Vito, Butler, and Caldwell of NASA Langley Research Center [15, 16] The fifth and final chapter ....
Friedrich von Henke, Natarajan Shankar, and John Rushby. Formal Semantics of Ehdm. Computer Science Laboratory, SRI International, Menlo Park, CA, January 1990. This document describes Ehdm Version 5.0; see [11] for informal descriptions of the changes in Version 5.2.
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