Testing Distributed Systems Through Symbolic Model Checking (Q3612360): Difference between revisions

@@ Property / cites work @@
+Principles of Distributed Systems
@@ Property / cites work: Principles of Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
+Normal rank
@@ Property / cites work @@
+Q4028628
@@ Property / cites work: Q4028628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Principles of Distributed Systems
@@ Property / cites work: Principles of Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436042
@@ Property / cites work: Q4436042 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+LTL is expressively complete for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Testing Distributed Systems Through Symbolic Model Checking
+Normal rank