Tewodros A.Beyene。;波皮娅,科尼柳;安德烈·里巴尔琴科 通过Horn约束求解实现高效的CTL验证。 (英文) 兹比尔1482.68134 Gallagher,John P.(编辑)等人,《验证和合成Horn条款第三次研讨会论文集》,HCVS 2016,荷兰埃因霍温,2016年4月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)2191-14(2016)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Beyene}等人,《电子》。程序。西奥。计算。科学。(EPTCS)219,1-14(2016;Zbl 1482.68134) 全文: arXiv公司 链接
Bae,Kyungmin先生;何塞·梅塞盖尔 用于重写的线性时态逻辑的基于重写的模型检查器。 (英文) Zbl 1291.68244号 Kniesel,Günter(编辑)等人,第九届基于规则的编程国际研讨会(2008年规则),奥地利哈根堡哈根堡城堡,2008年7月14日至18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记290,19-36(2012)。MSC公司:60年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}和\textit{J.Meseguer},电子。注释Theor。计算。科学。290、19-36(2012年;Zbl 1291.68244) 全文: 内政部
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 (英文) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
沙龙·肖姆;奥尔纳·格伦伯格 合成验证和3值抽象结合在一起。 (英文) Zbl 1191.68416号 Inf.计算。 208,第2期,178-202(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}和\textit{O.Grumberg},Inf.Comput。208,第2号,178--202(2010;Zbl 1191.68416) 全文: 内政部