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

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-73196-2_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2127099270
@@ Property / OpenAlex ID: W2127099270 / rank @@
+Normal rank
@@ 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