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

DOI10.1016/J.IC.2016.10.007zbMATH Open1370.68201OpenAlexW2546866793MaRDI QIDQ528185FDOQ528185

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

Recommendations

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• scientific article; zbMATH DE number 1759731
• scientific article; zbMATH DE number 2064229
• scientific article; zbMATH DE number 1202873
• Logical specification and analysis of fault tolerant systems through partial model checking

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Network protocols (68M12)

Cites Work

• Parameterised verification for multi-agent systems
• Title not available (Why is that?)
• Symbolic model checking: \(10^{20}\) states and beyond
• Reasoning about rational agents
• Title not available (Why is that?)
• Diagnosing multiple faults
• Computer Aided Verification
• Title not available (Why is that?)
• Diagnosability of discrete-event systems
• Diagnosis of discrete event systems using decentralized architectures
• A lower bound for the time to assure interactive consistency
• Title not available (Why is that?)
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Common knowledge and consistent simultaneous coordination
• Title not available (Why is that?)
• 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

Cited In (3)

• 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

This page was built for publication: Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q528185)