Judith Crow and Ben L. Di Vito. Formalizing Space Shuttle software requirements. In First Workshop on Formal Methods in Software Practice (FMSP '96), pages 40--48, San Diego, CA, January 1996. Association for Computing Machinery. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Formal Modeling in a Commercial Setting: A Case Study - Wong, Chechik (1999) (1 citation) (Correct)
Using Model Checking to Help Discover Mode Confusions and Other.. - Rushby (2002) (20 citations) (Correct)
Security Requirements Specifications: How and What? - Rushby (2001) (3 citations) (Correct)
Using Model Checking to Help Discover Mode Confusions and Other.. - Rushby (1999) (20 citations) (Correct)
Combining Constraint Solving and Symbolic Model Checking.. - William Chan Richard (1997) (18 citations) (Correct)
Experiences Using Formal Methods for Requirements.. - Easterbrook, Lutz.. (1996) (4 citations) (Correct)
Using Model Checking to Help Discover Mode Confusions and Other.. - Rushby (1999) (20 citations) (Correct)
PVS: An Experience Report - Owre, Rushby, Shankar, al. (1998) (8 citations) (Correct)
Integration in PVS: Tables, Types, and Model Checking - Owre, al. (1997) (1 citation) (Correct)
Using TAME to Prove Invariants of Automata Models: Two.. - Archer, Heitmeyer.. (2000) (Correct)
Using TAME to Prove Invariants of Automata Models: Two.. - Archer, Heitmeyer.. (2000) (Correct)
Calculating with Requirements (Extended Abstract) - Rushby (1997) (Correct)
Calculating with Requirements (Extended Abstract) - Rushby (1997) (Correct)
Formale Methoden Software für das Space Shuttle - Hanschitz (2000) (Correct)
Refinement in Requirements Specification and Analysis: a Case.. - de Jong, Pol (Correct)
Applying Formal Methods to a Telecommunications System in a.. - Wong, Chechik (1998) (1 citation) (Correct)
Formal Modeling in a Commercial Setting: A Case Study - Wong, Chechik (1999) (1 citation) (Correct)
Formal Methods When Money is Tight - Chechik, Wong (1999) (Correct)
Ubiquitous Abstraction: A New Approach for Mechanized Formal.. - Rushby (1998) (2 citations) (Correct)
A Comparison of PVS and Isabelle/HOL - Griffioen, Huisman (1998) (3 citations) (Correct)
Model Checking Large Software Specifications - Chan, Anderson, Beame, Burns.. (1998) (78 citations) (Correct)
Formal Methods Technology Transfer: A View from NASA - Caldwell (1996) (2 citations) (Correct)
Formal Requirements Analysis of an Avionics Control System - Dutertre, Stavridou (1997) (19 citations) (Correct)
Requirements Analysis of Real-Time Control Systems using PVS - Dutertre, Stavridou (Correct)
PVS Bibliography - Rushby (1998) (2 citations) (Correct)
Experiences Using Lightweight Formal Methods for.. - Easterbrook.. (1998) (23 citations) (Correct)
Requirements Analysis Using Forward and Backward Search - Lutz, Woodhouse (1997) (Correct)
Improving Efficiency of Symbolic Model Checking for.. - Chan, Anderson.. (1998) (7 citations) (Correct)
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) Self-citation (Di vito) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) Self-citation (Di vito) (Correct)
NASA Langley's Research and Technology-Transfer.. - Butler.. (1998) (8 citations) Self-citation (Ben) (Correct)
NASA Langley's Research and Technology-Transfer Program in.. - Ricky Butler (1995) (8 citations) Self-citation (Ben) (Correct)
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