Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
type: Item
instance of: scholarly article
title: Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
zbMATH Open document ID: 1370.68201
author: Yong-Cai Geng
author: Sumit K. Garg
published in: Information and Computation
publication date: 2017-05-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 6714833
describes a project that uses: NuSMV
describes a project that uses: MCMAS
describes a project that uses: VerICS
describes a project that uses: SPIN
describes a project that uses: MCK
MaRDI profile type: Publication
full work available at URL: j.ic.2016.10.007
OpenAlex ID: W2546866793
cites work: Reasoning about rational agents
cites work: Q4845472
cites work: Q3446862
cites work: Q4532080
cites work: Diagnosability of discrete-event systems
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Q4818818
cites work: Q5506377
cites work: Computer Aided Verification
cites work: A formalisation of violation, error recovery, and enforcement in the bit transmission problem
cites work: Diagnosing multiple faults
cites work: Knowledge and common knowledge in a Byzantine environment: Crash failures
cites work: A lower bound for the time to assure interactive consistency
cites work: Common knowledge and consistent simultaneous coordination
cites work: Diagnosis of discrete event systems using decentralized architectures
cites work: Parameterised verification for multi-agent systems
DOI: 10.1016/J.IC.2016.10.007
description: scientific article; zbMATH DE number 6714833