朱塞佩·德贾科莫;安东尼奥·迪·斯塔西奥;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。;朱淑芳 时间合成中的有限跟踪和广义反应性规范。 (英语) Zbl 07815087号 形式方法系统。设计。 61,编号2-3,139-163(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,《形式方法系统》。设计。61,编号2--3,139-163(2022;Zbl 07815087) 全文: 内政部 OA许可证
查克拉波蒂,苏普拉特克;油炸,Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 通过输入-输出分离进行功能合成。 (英语) Zbl 07683088号 形式方法系统。设计。 60,第2期,228-258(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《形式方法系统》。设计。60,第2号,228--258(2022;Zbl 07683088) 全文: 内政部 arXiv公司
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于SAT的显式LTL推理及其在可满足性检查中的应用。 (英语) Zbl 1425.68259号 形式方法系统。设计。 54,第2期,164-190(2019).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,《形式方法系统》。设计。54,第2号,164--190(2019年;Zbl 1425.68259) 全文: 内政部
戴安·塔巴科夫;克里斯汀·罗齐尔。;莫舍·瓦尔迪。 SystemcC的优化时间监视器。 (英语) Zbl 1284.68206号 形式方法系统。设计。 41,第3期,236-268(2012).MSC公司:68号30 68甲15 68页30 PDF格式BibTeX公司 XML格式引用 \textit{D.Tabakov}等人,《形式方法系统》。设计。41,第3号,236--268(2012;Zbl 1284.68206) 全文: 内政部
库克,拜伦;埃里克·科斯基宁;瓦尔迪,摩西 作为程序分析任务的时间属性验证。 (英语) 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) 全文: 内政部 链接
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) Zbl 1192.68416号 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统:通过结合运动规划和离散搜索,从验证到证伪。 (英语) Zbl 1192.68692号 形式方法系统。设计。 34,第2期,157-182(2009).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,《形式方法系统》。设计。34,第2号,157--182(2009;Zbl 1192.68692) 全文: 内政部 链接
罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;Stefano托内塔;莫舍·瓦尔迪。 GSTE是分区模型检查。 (英语) Zbl 1129.68044号 形式方法系统。设计。 第2期第31页,177-196(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}等人,《形式方法系统》。设计。31,第2号,177--196(2007;Zbl 1129.68044) 全文: 内政部
哈娜·乔克勒;奥尔纳库普弗曼;莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 (英语) 兹比尔1105.68075 形式方法系统。设计。 第3期第28页,第189-212页(2006年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。28,第3号,189--212(2006;Zbl 1105.68075) 全文: 内政部 链接
凯西·菲斯勒;莫舍·瓦尔迪。 互模拟最小化和符号模型检查。 (英语) Zbl 1018.68052号 形式方法系统。设计。 21,第1期,39-78(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Fisler}和\textit{M.Y.Vardi},《形式方法系统》。设计。21,第1号,39--78(2002;Zbl 1018.68052) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 安全特性的模型检查。 (英语) Zbl 0995.68061号 形式方法系统。设计。 19,第3期,291-314(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},《形式方法系统》。设计。19,第3号,291--314(2001;Zbl 0995.68061) 全文: 内政部
哈丁·R·H·。;库尔山,R.P。;Shukla,S.K。;M.Y.瓦尔迪。 使用BDD进行坏循环检测的新启发式算法。 (英语) 兹比尔1001.68074 形式方法系统。设计。 18,第2期,131-140(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Hardin}等人,《形式方法系统》。设计。18,第2号,131--140(2001;Zbl 1001.68074) 全文: 内政部