Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774): Difference between revisions

@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786907
@@ Property / cites work: Q2786907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerating corrupted communication
@@ Property / cites work: Tolerating corrupted communication / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous consensus under hybrid process and link failures
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous consensus and broadcast protocols
@@ Property / cites work: Asynchronous consensus and broadcast protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Mixing Lossy and Perfect Fifo Channels
@@ Property / cites work: Mixing Lossy and Perfect Fifo Channels / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+On             <i>k</i>             -set consensus problems in asynchronous systems
+Normal rank
@@ Property / cites work @@
+Reaching approximate agreement in the presence of faults
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+On Verifying Fault Tolerance of Distributed Protocols
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+years of model checking. History, achievements, perspectives
+Normal rank
@@ Property / cites work @@
+Checking cache-coherence protocols with TLA\(^+\)
@@ Property / cites work: Checking cache-coherence protocols with TLA\(^+\) / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Timed I/O Automata, Second Edition
@@ Property / cites work: The Theory of Timed I/O Automata, Second Edition / rank @@
+Normal rank
@@ Property / cites work @@
+Control and data abstraction: The cornerstones of practical formal verification
+Normal rank
@@ Property / cites work @@
+The PlusCal Algorithm Language
@@ Property / cites work: The PlusCal Algorithm Language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787228
@@ Property / cites work: Q4787228 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Approximate Implementations for Probabilistic I/O Automata
+Normal rank
@@ Property / cites work @@
+Reaching Agreement in the Presence of Faults
@@ Property / cites work: Reaching Agreement in the Presence of Faults / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+-valued abstraction: More precision at less cost
@@ Property / cites work: 3-valued abstraction: More precision at less cost / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of a ring of finite-state machines
+Normal rank
@@ Property / cites work @@
+Verification of consensus algorithms using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Consensus in the presence of mortal Byzantine faulty processes
+Normal rank
@@ Property / cites work @@
+Booting clock synchronization in partially synchronous systems with hybrid process and link failures
+Normal rank
@@ Property / cites work @@
+Model Checking Synchronized Products of Infinite Transition Systems
+Normal rank