Automated analysis of fault-tolerance in distributed systems

DOI10.1007/s10703-005-1492-2zbMath1083.68005OpenAlexW2170107408MaRDI QIDQ816197

Fred B. Schneider, Scott D. Stoller

Publication date: 20 February 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/5817

zbMATH Keywords

distributed computation

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Investigations on distributed differential evolution framework with fault tolerance mechanisms

Uses Software

• SPIN
• PVS
• TK

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of finite and infinite networks of concurrent communicating agents
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• The Byzantine Generals Problem

This page was built for publication: Automated analysis of fault-tolerance in distributed systems