马哈提·阿南德;毗湿奴·穆拉利;阿舒托什·特里维迪;马吉德·扎马尼 随机系统的k-感应势垒证明。 (英语) Zbl 07807720号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第12号论文,第11页(2022年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第12号论文,第11页(2022;Zbl 07807720) 全文: 内政部
凯文·巴茨;陈明帅;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;克里斯托夫·马提亚;菲利普·施勒 格型归纳法及其在概率程序中的应用。 (英语) Zbl 1493.68204号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).MSC公司:60年第68季度 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Batz}等人,Lect。注释计算。科学。12760524--549(2021年;Zbl 1493.68204) 全文: 内政部 arXiv公司
德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证:最新技术的实现。 (英语) Zbl 1507.68178号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl},莱克特。注释计算。科学。12078,3-21(2020年;兹比尔1507.68178) 全文: 内政部 arXiv公司
斯文·施奈德;约翰内斯·戴克;霍尔格·吉斯 基于嵌套属性图条件的属性图变换系统不变量的形式化验证。 (英语) 兹比尔1502.68160 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 257-275 (2020).MSC公司:2012年第68季度 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,Lect。注释计算。科学。12150257--275(2020年;Zbl 1502.68160) 全文: 内政部
马丁·布利查;安蒂·E·J·海瓦·里宁。;马特奥·马雷斯科蒂;娜塔莎·莎莉吉娜 一种用于属性定向归纳的协作并行化方法。 (英语) Zbl 07228511号 Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 270-292 (2020).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blicha}等人,Lect。注释计算。科学。11990、270--292(2020;Zbl 07228511) 全文: 内政部
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于SMT的软件验证的统一观点。 (英语) Zbl 1426.68041号 J.自动化。推理 60,第3号,299-335(2018); 更正同上,第65号,第3461(2021)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,J.Autom。推理60,No.3,299--335(2018;Zbl 1426.68041) 全文: 内政部
汉斯·尤根·奥巴赫;诺伯特·艾辛格 数学证明的设计模式。一本指南,特别是针对计算机科学家的。(设计模式für mathematische Beweise.Ein Leitfaden insbesondere für-Informatiker) (德语) Zbl 1392.68003号 柏林:Springer Vieweg(ISBN 978-3-662-55651-1/pbk;978-3-562-55652-8/电子书)。xi,184页。(2017). 审核人:维克托·潘布奇(埃里温) MSC公司:68-01年 00-01 00A06号 03-01 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{N.Eisinger},《数学贝韦斯设计模式》。Ein Leitfaden是一名信息员。柏林:Springer Vieweg(2017;Zbl 1392.68003) 全文: 内政部
彼得·施拉梅尔;丹尼尔·克罗宁;Brain,马丁;鲁本·马丁斯;蒂诺州泰格;汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 (英语) Zbl 1375.68081号 正式Asp。计算。 29,第5期,911-931(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人,《形式语法》。计算。29,第5号,911--931(2017;Zbl 1375.68081) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 基于SMT的混合系统场景验证。 (英语) Zbl 1284.03216号 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 第68季度第45季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 形式方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: 内政部