×

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

结合抽象精化和基于SAT的模型检查。 (英语) Zbl 1186.68274号

Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424405-419(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

工业环境中基于sAT的模型检查技术分析。 (英语) Zbl 1159.68307号

Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学课堂讲稿3725,254-268(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于反例和基于证明的抽象的混合。 (英语) Zbl 1117.68420号

Hu,Alan J.(编辑)等,《计算机辅助设计中的形式化方法》。2004年11月15日至17日,第五届国际会议,FMCAD 2004,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23738-0/pbk)。计算机科学课堂讲稿3312260-274(2004)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不同有界模型检查技术的实验分析。 (英语) Zbl 1031.68541号

Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 34-48 (2003).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

出版年份

主字段