Automated analysis of fault-tolerance in distributed systems

DOI10.1007/S10703-005-1492-2MaRDI QIDQ816197zbMATH OpenOpenAlexFDO

Authors Scott D. Stoller, Fred B. Schneider

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

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

Recommendations

• scientific article; zbMATH DE number 3978365
• Theorem Proving in Higher Order Logics
• Logical specification and analysis of fault tolerant systems through partial model checking
• scientific article; zbMATH DE number 3846851
• Synthesis of fault-tolerant distributed systems

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 866628 (Why is no real title available?)
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Semantics of finite and infinite networks of concurrent communicating agents
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• The Byzantine Generals Problem

Cited in

(8)

• scientific article; zbMATH DE number 88977 (Why is no real title available?)
• Performance evaluation for self-healing distributed services and fault detection mechanisms
• Investigations on distributed differential evolution framework with fault tolerance mechanisms
• scientific article; zbMATH DE number 3978365 (Why is no real title available?)
• scientific article; zbMATH DE number 1006803 (Why is no real title available?)
• A parallel analysis algorithm for sequence stream based on proactive fault tolerance
• Formal Approaches to Software Testing
• Model-based fault localization: finding behavioral outliers in large-scale computing systems

Describes a project that uses

Uses Software

• SPIN
• PVS
• TK

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

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