Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications (Q5881447): Difference between revisions

@@ 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 @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Disk Paxos
@@ Property / cites work: Disk Paxos / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of failure-sensitive agreement problems.
+Normal rank
@@ Property / cites work @@
+A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
+Normal rank
@@ Property / cites work @@
+Logics of specification languages
@@ Property / cites work: Logics of specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of TLA +  Proof Obligations with SMT Solvers
+Normal rank