×
史蒂文·拉姆齐。;不远处，罗宾·P·。;C.·H·卢克·翁

一种用于高阶模型检查的类型定向抽象精化方法。 （英文） Zbl 1284.68414号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。61-72 (2014).

引用于17文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68周05 非数值算法
2012年第68季度 语法和重写系统
65年第68季度 形式语言和自动机
03B70号 计算机科学中的逻辑

关键词：

抽象精化;高阶模型检验;交叉点类型

软件：

C-SHORe公司
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Ramsay}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。61-72（2014年；Zbl 1284.68414）
全文： 内政部 链接