恩吉亚·范姆(Duc Nghia Pham);约翰·桑顿;阿卜杜勒·萨塔尔 将时间推理建模并求解为命题可满足性。 (英语) Zbl 1184.68485号 Artif公司。智力。 172,第15期,1752-1782(2008).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Pham}等人,Artif。智力。172,第15号,1752-1782(2008;Zbl 1184.68485) 全文: 内政部 链接
托拜厄斯·舒勒;克劳斯·施耐德 无限状态系统的有界模型检验。 (英语) Zbl 1117.68047号 形式方法系统。设计。 30,第1号,51-81(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Schuele}和\textit{K.Schneider},《形式方法系统》。设计。30,第1号,51--81(2007;Zbl 1117.68047) 全文: 内政部
文森特·维达尔;赫克托·杰夫纳 分支和修剪:一种基于约束编程的最优时间POCL规划器。 (英语) Zbl 1131.68528号 Artif公司。智力。 170,第3期,298-335(2006).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Vidal}和\textit{H.Geffner},Artif。智力。170,第3号,298--335(2006;Zbl 1131.68528) 全文: 内政部 链接
阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉;蒂莫·拉塔瓦拉;维克多·舒潘 有界LTL模型检查的线性编码。 (英语) Zbl 1127.68057号 日志。方法计算。科学。 2,第5期,论文5,64页(2006年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}等人,Log。方法计算。科学。2,第5号,论文5,64页(2006年;Zbl 1127.68057) 全文: 内政部
格里高·罗什乌;萨德克·本萨勒姆 艾伦线性(区间)时序逻辑-转换为LTL和监视器合成。 (英语) Zbl 1188.68159号 Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。《计算机科学讲义》4144、263-277(2006年)。MSC公司:65年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{S.Bensalem},莱克特。注释计算。科学。4144263--277(2006年;Zbl 1188.68159) 全文: 内政部
沃伊切赫·彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 (英语) Zbl 1110.68087号 计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006). 审核人:Ryszard Janicki(汉密尔顿) MSC公司:68问题85 65年第68季度 60年第68季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林:施普林格出版社(2006;Zbl 1110.68087) 全文: 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉 简单是更好的:对过去的LTL进行有效的有界模型检查。 (英语) Zbl 1111.68510号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385380-395(2005)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Latvala}等人,Lect。注释计算。科学。3385380-395(2005年;Zbl 1111.68510) 全文: 内政部
太棒了,穆罕默德;法比奥·萨蒙齐 通过有界模型检查证明更多属性。 (英语) Zbl 1103.68603号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,96-108(2004)。MSC公司:60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Awedh}和\textit{F.Somenzi},莱克特。注释计算。科学。3114、96--108(2004;Zbl 1103.68603) 全文: 内政部
莱昂纳多·德·莫拉;哈拉尔街;玛丽亚·索里亚 无限域上有界模型检验的懒惰定理证明。 (英语) Zbl 1072.68602号 Andrei Voronkov(编辑),自动扣除-CADE-18。第18届国际会议,丹麦哥本哈根,2002年7月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43931-5)。莱克特。注释计算。科学。2392, 438-455 (2002).MSC公司:68吨15 03B35型 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.de Moura}等人,Lect。注释计算。科学。2392438--455(2002年;Zbl 1072.68602) 全文: 链接
沃伊切赫·彭泽克;沃纳、博埃纳;安杰伊·兹布热兹尼 CTL通用片段的有界模型检验。 (英语) Zbl 1052.68087号 芬丹。通知。 51,编号1-2,135-156(2002).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Fundam。通知。51,编号1--2,135-156(2002;Zbl 1052.68087)