John Rushby and Friedrich von Henke. Formal verification of algorithms for critical systems. IEEE Transactions on Software Engineering, 19(1):13--23, January 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Direct Model Checking of Temporal Properties - Bharadwaj, Zucker (Correct)
Formal Methods and Mechanical Verification applied to.. - Vos, Swierstra, Prasetya (1996) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993) (11 citations) (Correct)
Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1992) (11 citations) (Correct)
Interpreting Message Flow Graphs - Ladkin, Leue (1994) (27 citations) (Correct)
Formally Verified On-Line Diagnosis - Walter, Lincoln, Suri (1997) (1 citation) (Correct)
On the Use of Formal Techniques for Analysis of.. - Sinha, Suri, Marlowe (Correct)
Validation of Dependable Real-time Protocols: A Case for the.. - Suri, Sinha (Correct)
On the Use of Formal Techniques for Validation - Suri, Sinha (1998) (2 citations) (Correct)
Verifying Part of the ACCESS.bus Protocol using PVS - Hooman (1995) (1 citation) (Correct)
On the Use of Formal Techniques for Analyzing Dependable.. - Sinha, Suri (1999) (1 citation) (Correct)
Tools To Support A Formal Verification Method For Systems With.. - Bharadwaj (1996) (Correct)
System and Software Safety in Critical Systems - Isaksen, Bowen, Nissanke (1996) (1 citation) (Correct)
Analysis of a Technical Description of the Airbus A320 Braking.. - Ladkin (1995) (2 citations) (Correct)
Bibliography - Harold Abelson Gerald (1995) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) Self-citation (Rushby) (Correct)
Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke (1998) (9 citations) Self-citation (Von henke) (Correct)
An Overview of Formal Verification for the Time-Triggered.. - Rushby (2002) (6 citations) Self-citation (Rushby) (Correct)
Mechanizing Formal Methods: Opportunities and Challenges - Rushby (1995) (5 citations) Self-citation (Rushby) (Correct)
Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke (1998) (9 citations) Self-citation (Von henke) (Correct)
Automated Deduction and Formal Methods - Rushby (1996) (8 citations) Self-citation (Rushby) (Correct)
Formal Verification for Time-Triggered Clock Synchronization - Pfeifer, Schwier, von Henke (1999) (11 citations) Self-citation (Von henke) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) Self-citation (Rushby Von henke) (Correct)
Formal Methods and their Role in the Certification of Critical.. - Rushby (1995) (29 citations) Self-citation (Rushby) (Correct)
Formal Verification of an Interactive Consistency Algorithm.. - Lincoln, Rushby (1994) (8 citations) Self-citation (Rushby) (Correct)
First 50 documents
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