Formal verification based on Boolean expression diagrams (Q1954165): Difference between revisions

@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HANNIBAL
@@ Property / describes a project that uses: HANNIBAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean expression diagrams
@@ Property / cites work: Boolean expression diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4817533
@@ Property / cites work: Q4817533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818806
@@ Property / cites work: Q4818806 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q2751045
@@ Property / cites work: Q2751045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Boolean manipulation with OBDD's can be extended to FBDD's
+Normal rank
@@ Property / cites work @@
+Q4518913
@@ Property / cites work: Q4518913 / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Matching in Trees
@@ Property / cites work: Pattern Matching in Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864698
@@ Property / cites work: Q4864698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945220
@@ Property / cites work: Q4945220 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386960
@@ Property / cites work: Q4386960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754108
@@ Property / cites work: Q2754108 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph driven BDDs -- a new data structure for Boolean functions
+Normal rank
@@ Property / cites work @@
+Ordered Binary Decision Diagrams and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+Q4885885
@@ Property / cites work: Q4885885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769575
@@ Property / cites work: Q2769575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754079
@@ Property / cites work: Q2754079 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification based on Boolean expression diagrams
+Normal rank
@@ Property / cites work @@
+Bypassing BDD construction for reliability analysis
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00331-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1976278643
@@ Property / OpenAlex ID: W1976278643 / rank @@
+Normal rank