A note on inconsistent axioms in Rushby's "Systematic formal verification for fault-tolerant time-triggered algorithms" (2006)

Cached

Download Links

by Lee Pike
Venue:IEEE Transactions on Software Engineering
Citations:8 - 3 self

Documents Related by Co-Citation

45 Systematic formal verification for fault-tolerant time-triggered algorithms – John Rushby - 1999
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
112 The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software – Ricky W. Butler, George B. Finelli - 1993
92 A Comparison of Bus Architectures for Safety-Critical Embedded Systems – John Rushby - 2001
8 Formal analysis of fault-tolerant algorithms in the time-triggered architecture – H Pfeifer - 2003
11 Airbus fly-by-wire: A total approach to dependability – P Traverse, I Lacaze, J Souyris - 2004
64 Real-Time Systems – H Kopetz - 1997
10 ROBUS-2: A faulttolerant broadcast communication system – Wilfredo Torres-Pomales, Mahyar R Malekpour, Paul Miner - 2005
20 A Grand Challenge Proposal for Formal Methods: A Verified Stack – J Strother Moore
27 Formal methods and digital systems validation for airborne systems – J Rushby - 1993
10 A Unified Fault-Tolerance Protocol – Paul S. Miner, Alfons Geser, Lee Pike, Jeffery Maddalon - 2004
27 Byzantine Fault Tolerance, from Theory to Reality – Kevin Driscoll, Brendan Hall, Håkan Sivencrona, Phil Zumsteg - 2003
3 A unified fault-tolerance protocol,” in Formal Techniques, Modeling and Analysis of Timed and FaultTolerant Systems – P Miner, A Geser, L Pike, J Maddalon - 2004
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
22 The Coq proof assistant, reference manual, version 7.0 – C Cornes, J Courant, J-C Filliatre, G Huet, P Manoury, C Munoz, C Murthy, A Saibi Christine, B Werner - 2001
4 A safety-case approach for certifying adaptive systems – John Rushby - 2009
9 Reliability estimation from appropriate testing of plant protection software – J May, G Hughes, A D Lunn - 1995
9 The Use of Proof in Diversity Arguments,” in – Bev Littlewood - 2000
18 A theoretical basis for the analysis of multiversion software subject to coincident errors – L D Lee - 1985