.png){kind=icon}
返回
Automated Deduction for Verification
.png){kind=icon}
PRE
AI
DOI：10.1145/1592434.1592437.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
Theory
Verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.5K
被引数:
3.5W
机构
暂无机构信息
引用论文
Complete remission in acute promyelocytic leukemia despite persistence of abnormal bone marrow promyelocytes during induction therapy: experience in 34 patients.png)
Blood
OAAI
BloodIF0
OAAI分享收藏Flying Over an Infected Landscape: Distribution of Highly Pathogenic Avian Influenza H5N1 Risk in South Asia and Satellite Tracking of Wild WaterfowlEcoHealthOAAI
EcoHealthIF0
OAAI分享收藏
查看更多内容