×
Lahiri，Shuvendu K。；Randal E.布莱恩特。

带有索引谓词的谓词抽象。 （英语） Zbl 1367.68196号

ACM事务处理。计算。日志。 第9号第1条第4条第29页（2007年）.

引用于2文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑

关键词：

形式验证；抽象解释；缓存相干协议；无限状态验证；不变综合；谓词抽象
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Lahiri}和\textit{R.E.Bryant}，ACM Trans。计算。日志。9，第1号，第4条，29页（2007年；Zbl 1367.68196）
全文： 内政部 arXiv公司