Automated deduction for verification
From MaRDI portal
Publication:5228111
DOI10.1145/1592434.1592437OpenAlexW2133403781MaRDI QIDQ5228111
Publication date: 9 August 2019
Published in: ACM Computing Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1592434.1592437
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (6)
Interpolation systems for ground proofs in automated deduction: a survey ⋮ Combining Model Checking and Deduction ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ Verification conditions for source-level imperative programs ⋮ A system for deduction-based formal verification of workflow-oriented software models ⋮ On interpolation in automated theorem proving
This page was built for publication: Automated deduction for verification
