Star-Topology Decoupling in SPIN (Q5883577): 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/978-3-319-94111-0_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2808558381
@@ Property / OpenAlex ID: W2808558381 / rank @@
+Normal rank
@@ Property / cites work @@
+Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
+Normal rank
@@ Property / cites work @@
+Efficient unfolding of contextual Petri nets
@@ Property / cites work: Efficient unfolding of contextual Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Weak, strong, and strong cyclic planning via symbolic model checking
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / 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 @@
+Star-topology decoupled state space search
@@ Property / cites work: Star-topology decoupled state space search / 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 @@
+Q4536374
@@ Property / cites work: Q4536374 / rank @@
+Normal rank
@@ Property / cites work @@
+Merge-and-Shrink Abstraction
@@ Property / cites work: Merge-and-Shrink Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Directed Model Checking Via Russian Doll Abstraction
+Normal rank
@@ Property / cites work @@
+A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
+Normal rank
@@ Property / cites work @@
+Q3359783
@@ Property / cites work: Q3359783 / rank @@
+Normal rank
@@ Property / cites work @@
+A stubborn attack on state explosion
@@ Property / cites work: A stubborn attack on state explosion / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5883577