What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms (Q3179167): Difference between revisions

@@ Property / describes a project that uses @@
+nuXmv
@@ Property / describes a project that uses: nuXmv / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TLA
@@ Property / describes a project that uses: TLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT5
@@ Property / describes a project that uses: MathSAT5 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2298937928
@@ Property / OpenAlex ID: W2298937928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786907
@@ Property / cites work: Q2786907 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / 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 @@
+Q4778617
@@ Property / cites work: Q4778617 / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Verifying Consensus Algorithms
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability
+Normal rank
@@ Property / cites work @@
+SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+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 @@
+Bosco: One-Step Byzantine Asynchronous Consensus
@@ Property / cites work: Bosco: One-Step Byzantine Asynchronous Consensus / rank @@
+Normal rank