亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于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) 全文: 内政部
亚历山德罗·西马蒂;拉米罗·德马西;斯特凡诺·托内塔 加强系统架构的合同改进。 (英语) Zbl 1392.68241号 形式方法系统。设计。 52,第1期,88-116(2018).MSC公司:60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。52,第1号,88--116(2018;Zbl 1392.68241) 全文: 内政部
贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;汉弗莱,劳拉;罗伯特·Könighfer;乌富克托普库;王超 屏蔽合成。 (英语) Zbl 1386.68101号 形式方法系统。设计。 51,第2号,332-361(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighfer}等人,《形式方法系统》。设计。51,第2号,332--361(2017;Zbl 1386.68101) 全文: 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼 程序修复无遗憾。 (英语) Zbl 1322.68056号 形式方法系统。设计。 47,第1期,26-50(2015).MSC公司:68号30 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}和\textit{B.Jobstmann},《形式方法系统》。设计。47,第1号,第26--50条(2015;Zbl 1322.68056) 全文: 内政部 链接
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统不变量的无量子化编码。 (英语) Zbl 1317.68111号 形式方法系统。设计。 45,第2期,165-188(2014).MSC公司:60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。45,第2号,165--188(2014;Zbl 1317.68111) 全文: 内政部
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) Zbl 1291.68250号 形式方法系统。设计。 43,编号3,450-492(2013).MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人,《形式方法系统》。设计。43,编号3450-492(2013年;兹bl 1291.68250) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) 兹比尔1284.03216 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 (英语) 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 1247.68163号 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
贝拉德,贝特里奇;谢尔盖,哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40、第1号、第41-87号(2012;Zbl 1247.68124) 全文: 内政部 arXiv公司
朱莉娅·布拉曼(Julia M.B.Braman)。;理查德·默里(Richard M.Murray)。 基于目标的控制系统的互模拟转换和验证程序。 (英语) Zbl 1213.93139号 形式方法系统。设计。 38,第1期,62-95(2011).MSC公司:93C85号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray},形式方法系统。设计。38,编号1,62--95(2011;Zbl 1213.93139) 全文: 内政部
马克斯·戈德曼;艾米莉亚·卡茨;Shmuel Katz MAVEN:模块化方面验证和干扰分析。 (英语) Zbl 1207.68206号 形式方法系统。设计。 37,第1期,61-92(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldman}等人,《形式方法系统》。设计。37,编号1,61-92(2010;Zbl 1207.68206) 全文: 内政部
图巴·雅武兹·卡维奇;特夫菲克·布尔坦 动作语言验证器:反应式软件规范的无限状态模型检查器。 (英语) Zbl 1185.68427号 形式方法系统。设计。 35,第3期,325-367(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz-Kahveci}和\textit{T.Bultan},形式方法系统。设计。35,第3号,325--367(2009;Zbl 1185.68427) 全文: 内政部
哈娜·乔克勒;斯特里赫曼(Ofer Strichman) 真空前后。 (英语) Zbl 1165.68402号 形式方法系统。设计。 34,第1期,37-58(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}和\textit{O.Strichman},《形式方法系统》。设计。34,第1号,37-58(2009;Zbl 1165.68402) 全文: 内政部
顾天龙;刘华东 用于生成机械装配序列的符号OBDD方案。 (英语) Zbl 1165.68489号 形式方法系统。设计。 33,编号1-3,29-44(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gu}和textit{H.Liu},《形式方法系统》。设计。33,编号1--3,29-44(2008;Zbl 1165.68489) 全文: 内政部
南黄弘;马杜苏丹,P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 (英语) Zbl 1147.68052号 形式方法系统。设计。 32,第3期,207-234(2008).MSC公司:60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人,《形式方法系统》。设计。32,第3号,207--234(2008;Zbl 1147.68052) 全文: 内政部
科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 学习分而治之:应用(L^*)算法自动进行假设保证推理。 (英语) Zbl 1147.68053号 形式方法系统。设计。 第32175-205号(2008年).MSC公司:60年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{C.S.PăSăreanu}等人,Form.Methods Syst。设计。32,第3号,175--205(2008;Zbl 1147.68053) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 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) 全文: 内政部
吉安弗兰科·西亚多;杰拉尔德·吕特根;安德鲁·米纳(Andrew S.Miner)。 在符号状态空间生成中利用交错语义。 (英语) Zbl 1118.68533号 形式方法系统。设计。 31,第1号,63-100(2007).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciardo}等人,《形式方法系统》。设计。31,编号1,63--100(2007;Zbl 1118.68533) 全文: 内政部
埃德蒙·克拉克;希曼舒·杰恩;丹尼尔·克罗宁 使用谓词抽象验证SpecC。 (英语) Zbl 1117.68046号 形式方法系统。设计。 30,第1期,5-28(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,《形式方法系统》。设计。30,第1号,第5--28号(2007;Zbl 1117.68046) 全文: 内政部
C·蓬萨德。;马索内特,P。;J.F.莫尔德雷兹。;A.里福。;van Lamsweerde,A。;Tran Van,H。 关键任务系统的早期验证和确认。 (英语) Zbl 1116.68053号 形式方法系统。设计。 30,第3期,233-247(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ponsard}等人,《表格方法系统》。设计。30,第3号,233--247(2007;Zbl 1116.68053) 全文: 内政部
Yunja Choi先生 从NuSMV到SPIN:模型检查飞行制导系统的经验。 (英语) Zbl 1111.68502号 形式方法系统。设计。 30,第3期,199-216(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Choi},形式方法系统。设计。30,第3号,199--216(2007;Zbl 1111.68502) 全文: 内政部
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 (英语) Zbl 1109.68063号 形式方法系统。设计。 29,第3期,295-344(2006).MSC公司:60年第68季度 68第05页 68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人,《形式方法系统》。设计。29,第3号,295--344(2006;Zbl 1109.68063) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 一种有效的可达性分析分布式算法。 (英语) Zbl 1110.68075号 形式方法系统。设计。 29,第2期,157-175(2006).MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。29,第2号,157--175(2006;Zbl 1110.68075) 全文: 内政部
拉杜·奥西夫;马修·德怀尔。;约翰·哈特克利夫 为多个模型检查器翻译Java:Bandera后端。 (英语) Zbl 1086.68557号 形式方法系统。设计。 26,第2期,137-180(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}等人,《形式方法系统》。设计。26,第2号,137--180(2005;Zbl 1086.68557) 全文: 内政部 哈尔