Simulation relations for fault-tolerance

DOI10.1007/s00165-017-0426-2zbMath1377.68044OpenAlexW2603330110MaRDI QIDQ1688554

Nazareno Aguirre, Ramiro Demasi, Thomas S. E. Maibaum, Pablo F. Castro

Publication date: 8 January 2018

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-017-0426-2

zbMATH Keywords

formal specificationfault-toleranceprogram verificationsimulation relations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

A model of actors and grey failures

Uses Software

• Rodin
• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• Model-based construction and verification of critical systems using composition and partial refinement
• Engineering and theoretical underpinnings of retrenchment
• A theory for observational fault tolerance
• Synthesis of fault-tolerant concurrent programs
• dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
• A Temporal Logic of Robustness
• “Sometimes” and “not never” revisited
• Distributed cooperation with action systems
• The Byzantine Generals Problem
• Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Simulation relations for fault-tolerance