×
迈克尔·J·C·戈登。

使用自动推理验证PSL/Sugar语义。 （英文） Zbl 1093.68603号

正式Asp。计算。 15，第4期，406-421（2003）.

引用于2文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题55 计算理论中的语义学
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

埃塞莱拉;正式验证;高阶逻辑;HOL公司;模型检查;属性语言;PSL公司;语义学;糖;定理证明

软件：

FoC公司;HOL公司
PDF格式BibTeX公司 XML格式引用
\textit{M.J.C.Gordon}，正式Asp。计算。15，第4号，406--421（2003；Zbl 1093.68603）
全文： 内政部