Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
From MaRDI portal
Publication:528185
DOI10.1016/j.ic.2016.10.007zbMath1370.68201OpenAlexW2546866793MaRDI QIDQ528185
Publication date: 12 May 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.10.007
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12) Agent technology and artificial intelligence (68T42)
Related Items
Fault Tolerance in Belief Formation Networks, Simulation relations for fault-tolerance, Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
Uses Software
Cites Work
- Parameterised verification for multi-agent systems
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- Diagnosis of discrete event systems using decentralized architectures
- Knowledge and common knowledge in a Byzantine environment: Crash failures
- Diagnosing multiple faults
- A lower bound for the time to assure interactive consistency
- Symbolic model checking: \(10^{20}\) states and beyond
- Common knowledge and consistent simultaneous coordination
- Diagnosability of discrete-event systems
- Computer Aided Verification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
