×

找到4个文档(结果1-4)

Zap:软件分析的自动定理证明。 (英语) Zbl 1143.68576号

Sutcliffe,Geoff(编辑)等人,《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30553-8/pbk)。计算机科学课堂讲稿3835,2-22(2005)。
MSC公司:68吨15 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

谓词抽象的符号方法。 (英语) 兹比尔1278.68181

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 141-153 (2003).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UCLID中无序微处理器的建模和验证。 (英语) Zbl 1019.68623号

Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 142-159 (2002).
MSC公司:68单位07
PDF格式BibTeX公司 XML格式引用
全文: 链接

使用带有lambda表达式和未解释函数的计数器算术逻辑对系统进行建模和验证。 (英语) Zbl 1010.68522号

Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 78-92 (2002).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

出版年份

主字段