×

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

通过延迟理论组合实现有效的可满足性模理论。 (英语) Zbl 1081.68610号

Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576335-349(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性算术逻辑可满足性的增量分层过程。 (英语) Zbl 1087.68630号

Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440317-333(2005)。
MSC公司:68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

集成了基于BDD和基于SAT的符号模型检查。 (英语) Zbl 1057.68623号

亚历山德罗·阿曼多(编辑),《组合系统的前沿》。2002年4月8日至10日,第四次国际研讨会,FroCos 2002,意大利利古雷圣玛格丽塔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43381-3)。莱克特。注释计算。科学。2309, 49-56 (2002).
MSC公司:第68季度第60季度 68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 链接

NuSMV 2:用于符号模型检查的OpenSource工具。 (英语) Zbl 1010.68766号

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

筛选结果依据…

文档类型

出版年份

主字段