On Verifying Fault Tolerance of Distributed Protocols
From MaRDI portal
Publication:5458335
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
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