Progress in certifying hardware model checking results (Q832275): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JKind
@@ Property / describes a project that uses: JKind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kind 2
@@ Property / describes a project that uses: Kind 2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kissat
@@ Property / describes a project that uses: Kissat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paracooba
@@ Property / describes a project that uses: Paracooba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABC
@@ Property / describes a project that uses: ABC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AIGER
@@ Property / describes a project that uses: AIGER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / 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-030-81688-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W3184346668
@@ Property / OpenAlex ID: W3184346668 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Clause Solvers for Program Verification
@@ Property / cites work: Horn Clause Solvers for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751362
@@ Property / cites work: Q2751362 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying proofs for SAT-based model checking
@@ Property / cites work: Certifying proofs for SAT-based model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolating strong induction
@@ Property / cites work: Interpolating strong induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551138
@@ Property / cites work: Q4551138 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553254
@@ Property / cites work: Q4553254 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-prenex QBF Solving Using Abstraction
@@ Property / cites work: Non-prenex QBF Solving Using Abstraction / rank @@
+Normal rank