Certifying proofs for SAT-based model checking (Q2058379): Difference between revisions

@@ Property / describes a project that uses @@
+AIGER
@@ Property / describes a project that uses: AIGER / 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/s10703-021-00369-1
+Normal rank
@@ Property / OpenAlex ID @@
+W3177059862
@@ Property / OpenAlex ID: W3177059862 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113902760
@@ Property / Wikidata QID: Q113902760 / rank @@
+Normal rank
@@ Property / cites work @@
+From Model Checking to a Temporal Proof for Partial Models
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+An LTL Proof System for Runtime Verification
@@ Property / cites work: An LTL Proof System for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
+Normal rank
@@ Property / cites work @@
+A Proof System for the Linear Time μ-Calculus
@@ Property / cites work: A Proof System for the Linear Time μ-Calculus / 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 @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+From complementation to certification
@@ Property / cites work: From complementation to certification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553254
@@ Property / cites work: Q4553254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474227
@@ Property / cites work: Q4474227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531749
@@ Property / cites work: Q4531749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank