亚历山德罗·西马蒂;田,春;斯特凡诺·托内塔 基于假设的运行时验证。 (英语) Zbl 07683090号 表格方法系统。设计。 60,第2号,277-324(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号2,277--324(2022;Zbl 07683090) 全文: 内政部
汤姆·梅尔姆 符号轨迹评估。 (英语) Zbl 1392.68261号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。831-870 (2018).MSC公司:60年第68季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham},in:模型检查手册。查姆:斯普林格。831--870(2018;Zbl 1392.68261) 全文: 内政部
马蒂亚斯·韦伯;安妮特·比纽萨;阿恩·施·赫夫特 EPTL:弱一致系统的时序逻辑(短文)。 (英语) 兹比尔1489.68142 Bouajjani,Ahmed(编辑)等人,分布式对象、组件和系统的形式化技术。2017年6月19日至22日,作为第12届分布式计算技术国际联合会议的一部分,在瑞士诺伊查泰尔举行了第37届IFIP WG 6.1国际会议,即2017年FORTE。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10321, 236-242 (2017).MSC公司:60年第68季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Weber}等人,Lect。注释计算。科学。10321,236--242(2017;Zbl 1489.68142) 全文: 内政部 arXiv公司 哈尔
张楠;段振华;田聪 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 (英语) 兹比尔1332.68145 西奥。计算。科学。 609,第3部分,639-657(2016).MSC公司:60年第68季度 03B44号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。609,第3部分,639--657(2016;Zbl 1332.68145) 全文: 内政部
张楠;段振华;田聪 圆柱计算模型的公理化。 (英语) Zbl 1332.68144号 蔡志鹏(编辑)等,《计算与组合学》。第20届国际会议,COCOON 2014,亚特兰大,佐治亚州,美国,2014年8月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08782-5/pbk)。计算机科学课堂讲稿8591,71-83(2014)。MSC公司:60年第68季度 03B44号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Lect。注释计算。科学。8591,71-83(2014;Zbl 1332.68144) 全文: 内政部
迈克尔·J·C·戈登。;马特·考夫曼;桑迪普·雷 这项工作的正确工具:使用ACL2和HOL4证明影响减少锥的正确性。 (英语) Zbl 1216.68233号 J.汽车。推理 47,第1期,第1-16页(2011年).MSC公司:第68页第15页 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.C.Gordon}等人,J.Autom。推理47,No.1,1--16(2011;Zbl 1216.68233) 全文: 内政部
奥列塔·塞利库 HOL中的定量时间逻辑机械化。 (英语) Zbl 1169.03325号 Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二次国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722439-453(2005)。MSC公司:03B35型 03B44号 第68页第15页 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Celiku},莱克特。注释计算。科学。3722439--453(2005年;Zbl 1169.03325) 全文: 内政部
恩伯格,城市 动作的时间逻辑中的推理。交互式计算机系统的设计与实现。 (英语) Zbl 0945.68195号 奥胡斯:奥胡斯大学计算机科学系,xvi,222 p.(1999)。MSC公司:68宽10 68-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Engberg},动作时序逻辑中的推理。交互式计算机系统的设计和实现。奥胡斯:奥胡斯大学计算机科学系(1999;Zbl 0945.68195)
克劳斯·施耐德;德克·霍夫曼。 用于将线性时间时序逻辑转换为(ω)-自动机的HOL转换。 (英语) Zbl 0943.03008号 Bertot,Yves(编辑)等人,《高阶逻辑中的定理证明》。第12届国际会议,TPHOLs’99。1999年9月14日至17日,法国尼斯。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1690, 255-272 (1999).MSC公司:03B35型 第68页第15页 03B44号 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Schneider}和\textit{D.W.Hoffmann},莱克特。注释计算。科学。1690255-272(1999年;兹bl 0943.03008)