.png){kind=icon}
Return
Automated Deduction for Verification
.png){kind=icon}
PRE
AI
DOI：10.1145/1592434.1592437.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the task of deductive program verification. We introduce some of the basic deduction techniques used in software and hardware verification and outline the theoretical and engineering issues in building deductive verification tools. Beyond verification, deduction techniques can also be used to support a variety of applications including planning, program optimization, and program synthesis.
Keywords:
Theory
Verification
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
28
Papers:
2.5K
Citations:
3.5W
Organization
No organization information available
Cited Papers
ShareSaveComplete remission in acute promyelocytic leukemia despite persistence of abnormal bone marrow promyelocytes during induction therapy: experience in 34 patients.png)
Blood
OAAI
BloodIF0
OAAIShareSaveShareSaveShareSaveFlying Over an Infected Landscape: Distribution of Highly Pathogenic Avian Influenza H5N1 Risk in South Asia and Satellite Tracking of Wild WaterfowlEcoHealthOAAI
EcoHealthIF0
OAAIShareSaveShareSave
View more