BDD-Based Symbolic Model Checking (Q3176366): Difference between revisions

@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / 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-319-10575-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2803843036
@@ Property / OpenAlex ID: W2803843036 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / 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 @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628016
@@ Property / cites work: Q5628016 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-suppressed BDDs and their applications
@@ Property / cites work: Zero-suppressed BDDs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+Linear temporal logic symbolic model checking
@@ Property / cites work: Linear temporal logic symbolic model checking / rank @@
+Normal rank