Partial-Order Reduction (Q3176364): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-10575-8_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2803341075
@@ Property / OpenAlex ID: W2803341075 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+On Commutativity Based Edge Lean Search
@@ Property / cites work: On Commutativity Based Edge Lean Search / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing finite Kripke structures in propositional temporal logic
+Normal rank
@@ Property / cites work @@
+Q4037099
@@ Property / cites work: Q4037099 / rank @@
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / cites work @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
+Normal rank
@@ Property / cites work @@
+Q4733386
@@ Property / cites work: Q4733386 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxed visibility enhances partial order reduction
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Combining partial-order reductions with on-the-fly model-checking.
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+Normal rank
@@ Property / cites work @@
+An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
+Normal rank
@@ Property / cites work @@
+Q4353636
@@ Property / cites work: Q4353636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank