Formally Verifying Fault Tolerant System Designs (original) (raw)
Related papers
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science, 2005
On methods for the formal specification of fault tolerant systems
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
… ComputingEDCC-1, 1994
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
Lecture Notes in Computer Science, 2011
Model checking fault tolerant systems
Software Testing, Verification and Reliability, 2002
2015
Formal Approach to Faults in Safety Related Applications
IFAC Proceedings Volumes, 1990
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
Lecture Notes in Computer Science, 2014
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems
2005
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science, 2004
Formal Development of Reactive Fault Tolerant Systems
Lecture Notes in Computer Science, 2006
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
2009
Lecture Notes in Computer Science, 2009
A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model
Checking, …, 1999
Automated Verification of Fault Tolerance Mechanisms
Formal Methods for Industrial Critical Systems, 1998
A Process for Verifying and Validating Requirements for Fault Tolerant Systems
2008 11th IEEE High Assurance Systems Engineering Symposium, 2008
Combining methods for the analysis of a fault-tolerant system
Proceedings 1999 Pacific Rim International Symposium on Dependable Computing, 1999
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
2009
Validating Requirements for Fault Tolerant Systems using Model Checking
1998
Dynamic Scheduling and Fault-Tolerance: Specification and Verification
Real-time Systems, 2001
Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)
2005
Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems
IFAC-PapersOnLine, 2017
Verification of Reactive Systems Using Temporal Logic with Clocks
Theoretical Computer Science, 1999
Formal Specification and Verification of Distributed Systems
IEEE Transactions on Software Engineering, 1983
Formal Techniques in Real-Time and Fault-Tolerant Systems
Lecture Notes in Computer Science, 2000
Formal Techniques for Synchronized Fault-Tolerant Systems
A formal specification and validation of a critical system in presence of byzantine errors
2000
Automatic verification of the Inter-consistency fault tolerance mechanism
2001
Formal fault tree construction and system safety analysis
2004