×
帕特里克·库索特;拉希亚库索;劳伦特·莫博涅

通过抽象解释进行理论、解算器和静态分析。 （英语） Zbl 1281.68156号

美国临床医学杂志 59，第6号，第31条，第56页（2012年）.

引用于三文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68纳米30 软件工程的数学方面（规范、验证、度量、需求等）
68吨15 定理证明（演绎、解析等）（MSC2010）
03B70号 计算机科学中的逻辑

关键词：

抽象解释;SAT模理论;SMT求解器;决策程序;程序逻辑;程序验证;语义学;静态分析;定理证明

软件：

ASTREE公司;八角形;简化
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}et al.，J.ACM 59，No.6，Article No.31，56 P.（2012；Zbl 1281.68156）
全文： 内政部