威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
科迪,马克西姆;萨米人拉兹雷格;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检查:应用于缺陷检测和最小化。 (英语) Zbl 1522.68305号 正式Asp。计算。 33,第6期,1147-1172(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,正式Asp。计算。33,编号6,1147--1172(2021;Zbl 1522.68305) 全文: 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼;斯波莱蒂尼,波拉 TOrPEDO:用拓扑证明见证模型的正确性。 (英语) Zbl 1522.68335号 正式Asp。计算。 33,第6号,1039-1066(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。33,第6号,1039--1066(2021;Zbl 1522.68335) 全文: 内政部
马克西姆·科尔迪;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检验。 (英语) Zbl 1507.68181号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076, 294-314 (2020).MSC公司:60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,Lect。注释计算。科学。12076294-314(2020年;兹比尔1507.68181) 全文: 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼 将拓扑证明与模型检查集成到仪器迭代设计中。 (英语) Zbl 1507.68195号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12076,53-74(2020)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,Lect。注释计算。科学。12076,53-74(2020;Zbl 1507.68195) 全文: 内政部 arXiv公司
李永明;雷、李辉;李三江 基于多值可能性测度的计算树逻辑模型检验。 (英语) Zbl 1448.68306号 信息科学。 485, 87-113 (2019).MSC公司:60年第68季度 03B50号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。485、87-113(2019年;Zbl 1448.68306) 全文: 内政部
克劳迪奥·蒙吉;斯波莱蒂尼,波拉;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
马苏德·易卜拉希米;古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊程序图上模糊CTL的符号检查。 (英语) Zbl 1410.68224号 Acta信息。 56,第1期,1-33页(2019年).MSC公司:60年第68季度 03B44号 03B52号 05C72号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ebrahimi}等人,《信息学报》56,第1期,1-33页(2019年;Zbl 1410.68224) 全文: 内政部
克劳迪奥·蒙吉;塞尔吉奥·加西亚;帕特里齐奥·佩利奇奥内;贾纳·图莫娃 不确定性条件下的多机器人LTL规划。 (英语) Zbl 1460.68119号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 399-417 (2018).MSC公司:68T40型 03B44号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,Lect。注释计算。科学。10951999-417(2018年;兹比尔1460.68119) 全文: 内政部 链接
亲爱的,丹尼斯;奥尔纳·格伦伯格 抽象和抽象细化。 (英语) Zbl 1392.68244号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。385-419 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{O.Grumberg},in:模型检查手册。查姆:施普林格。385--419(2018;Zbl 1392.68244) 全文: 内政部
李永明;曼弗雷德·德罗斯特;雷、李辉 多值系统中线性时间特性的模型检验。 (英语) Zbl 1428.68188号 信息科学。 377, 51-74 (2017).MSC公司:60年第68季度 03B50号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息科学》。377、51-74(2017年;Zbl 1428.68188) 全文: 内政部 arXiv公司
李永明 基于广义可能性测度的线性时间特性的定量模型检验。 (英语) Zbl 1382.68143号 模糊集系统。 320, 17-39 (2017).MSC公司:60年第68季度 03B44号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li},模糊集系统。320,17-39(2017年;兹bl 1382.68143) 全文: 内政部 arXiv公司
潘海宇;李永明;曹永志;马,战友 有限格上的模型检查计算树逻辑。 (英语) Zbl 1332.68141号 西奥。计算。科学。 612, 45-62 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,Theor。计算。科学。61245--62(2016;Zbl 1332.68141) 全文: 内政部
潘海宇;李永明;曹永志;马,战友 模型检查模糊计算树逻辑。 (英语) Zbl 1360.68595号 模糊集系统。 262,60-77(2015).MSC公司:60年第68季度 03B44号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,《模糊集系统》。262、60-77(2015年;Zbl 1360.68595) 全文: 内政部
古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊时序逻辑和模型中的抽象和近似。 (英语) Zbl 1331.68143号 正式Asp。计算。 27,第2期,309-334(2015).MSC公司:60年第68季度 03B44号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sotudeh}和\textit{A.Movaghar},正式Asp。计算。27,第2号,309--334(2015;Zbl 1331.68143) 全文: 内政部
潘海宇;曹永志;张敏;陈一香 格值双标记转移系统的模拟。 (英语) Zbl 1316.68063号 国际J近似推理 55,第3期,797-811(2014).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,《国际近似推理》55,第3期,797--811(2014;Zbl 1316.68063) 全文: 内政部
沙龙·肖姆;奥尔纳·格伦伯格 多值模型检验博弈。 (英语) Zbl 1257.68105号 J.计算。系统。科学。 78,第2期,414-429(2012). 审核人:克里斯特尔·拜尔(德累斯顿) MSC公司:60年第68季度 91A80型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Shoham}和\textit{O.Grumberg},J.Compute。系统。科学。78,第2号,414--429(2012;Zbl 1257.68105) 全文: 内政部
杰斐逊·O·安德拉德。;Yukiyoshi县Kameyama 多值有界模型检查的直接算法。 (英语) Zbl 1183.68360号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,80-94(2008)。MSC公司:60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.O.Andrade}和\textit{Y.Kameyama},莱克特。注释计算。科学。5311、80-94(2008年;Zbl 1183.68360) 全文: 内政部
玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;赖,阿尔伯特;史蒂夫·伊斯特布鲁克 符号多值模型检查的数据结构。 (英语) 兹比尔1109.68063 形式方法系统。设计。 第3期第29页,第295-344页(2006年).MSC公司:60年第68季度 68第05页 68T27型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}等人,《形式方法系统》。设计。29,第3号,295--344(2006;Zbl 1109.68063) 全文: 内政部
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里 在约束半环上定义的定量演算和CTL。 (英语) Zbl 1080.68065号 西奥。计算。科学。 346,第1期,135-160(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch-Lafuente}和\textit{U.Montanari},Theor。计算。科学。346,编号1,135--160(2005;Zbl 1080.68065) 全文: 内政部