Exploiting interleaving semantics in symbolic state-space generation (Q2642670): Difference between revisions

@@ Property / cites work @@
+Partial-order reduction in symbolic state-space exploration
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q2766555
@@ Property / cites work: Q2766555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769596
@@ Property / cites work: Q2769596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417940
@@ Property / cites work: Q4417940 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427908
@@ Property / cites work: Q4427908 / rank @@
+Normal rank
@@ Property / cites work @@
+A decomposition approach for stochastic reward net models
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+An O(n log n) unidirectional distributed algorithm for extrema finding in a circle
+Normal rank
@@ Property / cites work @@
+Efficient descriptor-vector multiplications in stochastic automata networks
+Normal rank
@@ Property / cites work @@
+Q4791838
@@ Property / cites work: Q4791838 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional minimisation of finite state systems using interface specifications
+Normal rank
@@ Property / cites work @@
+Q4946958
@@ Property / cites work: Q4946958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037087
@@ Property / cites work: Q4037087 / rank @@
+Normal rank