×

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

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

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

完整PLTL的增量和完整有界模型检查。 (英语) Zbl 1081.68621号

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

简单是更好的:对过去的LTL进行有效的有界模型检查。 (英语) 兹比尔1111.68510

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385380-395(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格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段