Combining static analysis and case-based search space partitioning for reducing peak memory in model checking (Q1884313): Difference between revisions

@@ Property / cites work @@
+Generating BDDs for symbolic model checking in CCS
+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 @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of distributed programs using representative interleaving sequences
+Normal rank
@@ Property / cites work @@
+Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817546
@@ Property / cites work: Q4817546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494394
@@ Property / cites work: Q4494394 / rank @@
+Normal rank