×
拜伦·库克;埃里克·科斯金

用决策谓词进行预言。 （英语） Zbl 1284.68389号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。399-410 (2011).

引用于7文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B44号 时间逻辑

关键词：

形式验证;线性时序逻辑;模型检查;程序分析;终止

软件：

PostgreSQL
PDF格式BibTeX公司 XML格式引用
\textit｛B.Cook｝和\textit｛E.Koskinen｝，载于：第38届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。399-410（2011年；Zbl 1284.68389）
全文： 内政部