Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

DOI10.1016/j.ic.2016.10.007zbMath1370.68201OpenAlexW2546866793MaRDI QIDQ528185

Yong-Cai Geng, Sumit K. Garg

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

Mathematics Subject Classification ID

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

• VerICS
• SPIN
• NuSMV
• MCMAS
• MCK

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