A lazy approach to symmetry reduction (Q613132): Difference between revisions

@@ Property / cites work @@
+The size of the largest antichain in the partition lattice
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
+Normal rank
@@ Property / cites work @@
+Q4494389
@@ Property / cites work: Q4494389 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive Symmetry Reduction
@@ Property / cites work: Adaptive Symmetry Reduction / rank @@
+Normal rank