Stateless model checking under a reads-value-from equivalence (Q832184): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3184331482
@@ Property / OpenAlex ID: W3184331482 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06424
@@ Property / arXiv ID: 2105.06424 / 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 @@
+Reducing concurrent analysis under a context bound to sequential analysis
+Normal rank
@@ Property / cites work @@
+On the Complexity of Bounded Context Switching.
@@ Property / cites work: On the Complexity of Bounded Context Switching. / rank @@
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic partial-order reduction for model checking software
+Normal rank
@@ Property / cites work @@
+Optimal dynamic partial order reduction
@@ Property / cites work: Optimal dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-optimal partial order reduction
@@ Property / cites work: Quasi-optimal partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal dynamic partial order reduction with observers
+Normal rank
@@ Property / cites work @@
+Context-sensitive dynamic partial order reduction
@@ Property / cites work: Context-sensitive dynamic partial order reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Shared Memories
@@ Property / cites work: Testing Shared Memories / rank @@
+Normal rank
@@ Property / cites work @@
+Stateless model checking for TSO and PSO
@@ Property / cites work: Stateless model checking for TSO and PSO / rank @@
+Normal rank