John C.McCabe-Dansted。;马克·雷诺兹 重写\(\mathrm{CTL}^\ast\)的规则。 (英语) Zbl 1436.03124号 J.应用。日志。 21, 24-56 (2017).MSC公司:03B44号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds},J.Appl。日志。21、24-56(2017年;Zbl 1436.03124) 全文: 内政部
阿里特拉·哈兹拉;帕拉布·达斯古普塔;查克拉巴蒂,帕塔·普拉蒂姆 嵌入式网络物理系统可靠性规范的正式评估。 (英语) Zbl 1436.68196号 J.应用。日志。 18, 71-104 (2016).MSC公司:60年第68季度 68米15 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{A.Hazra}等人,J.Appl。日志。18、71——104(2016;Zbl 1436.68196) 全文: 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔 高阶逻辑中可靠性框图的形式化。 (英语) 兹比尔1436.68390 J.应用。日志。 18, 19-41 (2016).MSC公司:68V20型 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahmed}等人,J.Appl。日志。18、19-41(2016;Zbl 1436.68390) 全文: 内政部
谢尔盖·巴本尼舍夫;马丁斯(Manuel A.Martins)。 隐逻辑的行为等价:一种抽象代数方法。 (英语) Zbl 1436.68193号 J.应用。日志。 16, 72-91 (2016).MSC公司:60年第68季度 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和textit{M.A.Martins},J.Appl。日志。16、72——91(2016;Zbl 1436.68193) 全文: 内政部
阿姆诺·罗森曼 用于硬件电路设计和验证的多值逻辑方法。 (英语) Zbl 1436.68198号 J.应用。日志。 15, 69-93 (2016).MSC公司:60年第68季度 03B50号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosenmann},J.Appl。日志。15、69-93(2016年;Zbl 1436.68198) 全文: 内政部 arXiv公司
张燕;朱兆辉;张金金;周、勇 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13页,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
Franz巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 (英语) Zbl 1310.68140号 J.应用。日志。 2014年第4期第12期第584-613页.MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann},J.Appl。日志。12,第4号,584--613(2014;Zbl 1310.68140) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
贝内迪克特·博利格;Cyriac,艾斯瓦里亚;保罗·加斯丁;马克·泽顿 并发递归程序的时态逻辑:可满足性和模型检查。 (英语) Zbl 1310.68142号 J.应用。日志。 12,第4号,395-416(2014).MSC公司:60年第68季度 03B44号 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,J.Appl。日志。12,第4号,395--416(2014;Zbl 1310.68142) 全文: 内政部
加文·雷恩斯;托马斯·梅耶;格哈德·莱克梅耶 SLAP:具有概率的动作的规范逻辑。 (英语) Zbl 1327.68164号 J.应用。日志。 12,第2期,128-150(2014).MSC公司:60年第68季度 03B35型 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rens}等人,J.Appl。日志。12,第2号,第128-150条(2014;Zbl 1327.68164) 全文: 内政部
默多克·J·加贝。;阿列克桑达尔·纳内夫斯基 语境模态类型理论(CMTT)的外延:句法和元程序。 (英语) Zbl 1280.03037号 J.应用。日志。 11,第1期,1-29页(2013年).MSC公司:03B70号 03B40型 03B45 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Nanevski},J.Appl。日志。11,第1号,1-29(2013;Zbl 1280.03037) 全文: 内政部 arXiv公司
伊门布尔吉巴;贝莱德·莫阿 改进软件成本降低方法的语义。 (英语) 兹比尔1262.68036 J.应用。日志。 10,第4期,410-418(2012).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Bourguiba}和\textit{B.Moa},J.Appl。日志。10,第4号,410-418(2012;Zbl 1262.68036) 全文: 内政部
布鲁诺·库塞尔;艾琳·杜兰德 用于验证一元二阶图属性的自动机。 (英语) Zbl 1285.03049号 J.应用。日志。 10,第4期,368-409(2012).MSC公司:05年3月 03B25号 65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},J.Appl。日志。10,第4号,368--409(2012;Zbl 1285.03049) 全文: 内政部
罗杰·维尔梅尔;西尔万·霍尔 关于可见性的推理。 (英语) Zbl 1237.68209号 J.应用。日志。 10,第2期,163-178(2012).MSC公司:68T27型 65年第68季度 03B45 60年第68季度 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{R.Villemaire}和\textit{S.Hallé},J.Appl。日志。10,第2号,163--178(2012;Zbl 1237.68209) 全文: 内政部
玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 将正则表达式匹配转换为转换器。 (英语) Zbl 1238.68052号 J.应用。日志。 10,第1期,32-51(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sakuma}等人,J.应用。日志。10,编号1,32--51(2012;Zbl 1238.68052) 全文: 内政部
奥斯曼·哈桑;吉加·帕特尔;索菲涅·塔哈尔 利用定理证明对组合电路进行形式化可靠性分析。 (英语) Zbl 1217.94140号 J.应用。日志。 第9期,第1期,41-60页(2011年).MSC公司:94C12号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Hasan}等人,J.Appl。日志。9,第1号,41--60(2011;Zbl 1217.94140) 全文: 内政部 链接
利奥尼德·利金;克里斯蒂娜·西兰吉罗 用时序逻辑和自动机推理XML。 (英语) Zbl 1192.68435号 J.应用。日志。 8,第2期,210-232(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Libkin}和\textit{C.Sirangelo},J.Appl。日志。8,第2号,210--232(2010;Zbl 1192.68435) 全文: 内政部 链接
巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 道义动作逻辑、原子布尔代数和容错。 (英语) Zbl 1193.03060号 J.应用。日志。 7,第4期,441-466(2009).MSC公司:03B70号 03B44号 03B45 05年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}和\textit{T.S.E.Maibaum},J.Appl。日志。7,第4号,441--466(2009;Zbl 1193.03060) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用跳转指令编程代数。 (英语) Zbl 1158.68359号 J.应用。日志。 6,第4号,553-563(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6号,第4553-563号(2008年;兹bl 1158.68359) 全文: 内政部 arXiv公司
郭海峰;刘、苗;罗普,帕塔S。;罗摩克里希南。;罗马克里希南,I.V。 嵌入式系统中自适应重用的精确规范匹配。 (英语) Zbl 1122.68074号 J.应用。日志。 5,第2号,333-355(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.Guo}等人,J.Appl。日志。5,第2号,333--355(2007;Zbl 1122.68074) 全文: 内政部
迪特尔·赫特;海科·曼特尔;伊娜·谢弗;阿克塞尔·谢尔 多智能体系统的安全性:比较购物案例研究。 (英语) Zbl 1122.68092号 J.应用。日志。 5,第2号,303-332(2007).MSC公司:68T01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter}等人,J.Appl。日志。5、编号2、303--332(2007;Zbl 1122.68092) 全文: 内政部
德波尔,F.S。;Hindriks,K.V.公司。;范德霍克,W。;梅耶,J.-J.Ch。 具有声明性目标的代理编程验证框架。 (英语) Zbl 1122.68078号 J.应用。日志。 5,第2期,277-302(2007).MSC公司:60年第68季度 68T01型 03B70号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Appl。日志。5,第2号,277--302(2007;Zbl 1122.68078) 全文: 内政部
伊夫·邦坦普斯;皮埃尔·伊夫·肖本斯 基于场景的代理验证和设计的计算复杂性。 (英语) Zbl 1122.68066号 J.应用。日志。 5,第2期,252-276(2007).MSC公司:65年第68季度 60年第68季度 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bontemps}和\textit{P.-Y.Schobbens},J.Appl。日志。5,第252-276号(2007年;兹bl 1122.68066) 全文: 内政部
佛朗哥·雷蒙迪;阿莱西奥·洛穆西奥 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 (英语) Zbl 1122.68076号 J.应用。日志。 5,第2期,235-251(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Raimondi}和\textit{A.Lomuscio},J.Appl。日志。5,第2号,235--251(2007;Zbl 1122.68076) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 在时序动作逻辑中指定和验证交互协议。 (英语) Zbl 1122.68122号 J.应用。日志。 5,第2期,214-234(2007).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Appl。日志。5,No.2,214--234(2007;Zbl 1122.68122) 全文: 内政部
克里斯托弗·沃尔顿。 可验证的代理对话。 (英语) Zbl 1119.68392号 J.应用。日志。 5,第2期,197-213(2007).MSC公司:68T05型 68T01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walton},J.应用。日志。5,第2号,197--213(2007;Zbl 1119.68392) 全文: 内政部
Jan A.Bergstra。;阿尔班·蓬塞 程序代数的执行体系结构。 (英语) Zbl 1116.68024号 J.应用。日志。 170-192年第1期第5页(2007年).MSC公司:68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.Appl。日志。5,第1号,170--192(2007;Zbl 1116.68024) 全文: 内政部
马西莫·弗朗西切特;马尔滕,德里伊克 模型检查混合逻辑(应用于半结构化数据)。 (英语) Zbl 1100.68065号 J.应用。日志。 第4期,第3期,279-304页(2006年).MSC公司:60年第68季度 03B44号 03B45 2015年第68季度 2017年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{M.de Rijke},J.Appl。日志。4、编号3、279--304(2006;Zbl 1100.68065) 全文: 内政部
克莱尔·狄克逊 使用知识的时序逻辑进行规范和验证–案例研究。 (英语) Zbl 1095.68050号 J.应用。日志。 4,第1期,50-78(2006).MSC公司:60年第68季度 03B42号 03B44号 03B35型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon},J.应用。日志。4,编号1,50--78(2006;Zbl 1095.68050) 全文: 内政部
马丁·兰格 使用所有附加项对命题动态逻辑进行模型检查。 (英语) Zbl 1095.68053号 J.应用。日志。 4,第1期,39-49(2006).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},J.Appl.(《应用杂志》)。日志。4,编号1,39-49(2006年;兹bl 1095.68053) 全文: 内政部
亚历山大·博洛托夫;阿提·巴苏科斯基 扩展计算树逻辑ECTL的子句解析方法。 (英语) Zbl 1101.03017号 J.应用。日志。 4,第2期,141-167(2006).MSC公司:03B35型 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}和\textit{A.Basukoski},J.Appl。日志。4,第2号,141--167(2006;Zbl 1101.03017) 全文: 内政部