On Verifying Fault Tolerance of Distributed Protocols

DOI10.1007/978-3-540-78800-3_22zbMath1134.68317OpenAlexW1589238783MaRDI QIDQ5458335

Dana Fisman, Yoad Lustig, Orna Kupferman

Publication date: 11 April 2008

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_22

Mathematics Subject Classification ID

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

Related Items (6)

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms ⋮ An automata-theoretic approach to the verification of distributed algorithms ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ Higher-order quantifier elimination, counter simulations and fault-tolerant systems ⋮ Synthesis of Fault-Tolerant Distributed Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about infinite computations
• Authenticated Algorithms for Byzantine Agreement
• Weak Second‐Order Arithmetic and Finite Automata
• Decision Problems of Finite Automata Design and Related Arithmetics
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• Computer Aided Verification
• Optimal distributed algorithm for minimum spanning trees revisited
• On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
• Principles of Distributed Systems
• Automated Technology for Verification and Analysis
• On Reasoning About Rings
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation
• Symbolic model checking with rich assertional languages
• Automatic verification of parameterized networks of processes

This page was built for publication: On Verifying Fault Tolerance of Distributed Protocols