Pages that link to "Item:Q2849551"
From MaRDI portal
The following pages link to Logical specification and analysis of fault tolerant systems through partial model checking (Q2849551):
Displaying 10 items.
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Automated analysis of fault-tolerance in distributed systems (Q816197) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Factorizing fault tolerance. (Q1853629) (← links)
- Relational characterizations of system fault tolerance (Q2486257) (← links)
- dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (Q3095236) (← links)
- Faulty Logic: Reasoning about Fault Tolerant Programs (Q3558242) (← links)
- Design and Verification of Fault-Tolerant Components (Q3623817) (← links)
- (Q4952308) (← links)
- Logical Aspects of Computational Linguistics (Q5706935) (← links)