On stubborn sets in the verification of linear time temporal properties (Q1774568): Difference between revisions

@@ 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/s10703-005-4594-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2030867074
@@ Property / OpenAlex ID: W2030867074 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+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 @@
+Q4037381
@@ Property / cites work: Q4037381 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of distributed programs using representative interleaving sequences
+Normal rank
@@ Property / cites work @@
+Relaxed visibility enhances partial order reduction
+Normal rank
@@ Property / cites work @@
+Q2766568
@@ Property / cites work: Q2766568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507820
@@ Property / cites work: Q4507820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining partial-order reductions with on-the-fly model-checking.
+Normal rank
@@ Property / cites work @@
+Q4507826
@@ Property / cites work: Q4507826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4372017
@@ Property / cites work: Q4372017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997018
@@ Property / cites work: Q3997018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507830
@@ Property / cites work: Q4507830 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353636
@@ Property / cites work: Q4353636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239305
@@ Property / cites work: Q4239305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507831
@@ Property / cites work: Q4507831 / rank @@
+Normal rank