Model checking \(\omega \)-regular properties with decoupled search (Q832281): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cunf
@@ Property / describes a project that uses: Cunf / 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-030-81688-9_19
+Normal rank
@@ Property / OpenAlex ID @@
+W3183275725
@@ Property / OpenAlex ID: W3183275725 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037388
@@ Property / cites work: Q4037388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493881
@@ Property / cites work: Q4493881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754166
@@ Property / cites work: Q2754166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531752
@@ Property / cites work: Q4531752 / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Star-Topology Decoupling in SPIN
@@ Property / cites work: Star-Topology Decoupling in SPIN / rank @@
+Normal rank
@@ Property / cites work @@
+Star-topology decoupled state space search
@@ Property / cites work: Star-topology decoupled state space search / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search
+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 @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining partial-order reductions with on-the-fly model-checking.
+Normal rank
@@ Property / cites work @@
+Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
+Normal rank
@@ Property / cites work @@
+Determinization of Büchi-Automata
@@ Property / cites work: Determinization of Büchi-Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q5480170
@@ Property / cites work: Q5480170 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank