×

找到11个文档(结果1-11)

随机系统的k-感应势垒证明。 (英语) Zbl 07807720号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第12号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格型归纳法及其在概率程序中的应用。 (英语) Zbl 1493.68204号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).
PDF格式BibTeX公司 XML格式引用

PDR软件验证:最新技术的实现。 (英语) Zbl 1507.68178号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).
PDF格式BibTeX公司 XML格式引用

基于嵌套属性图条件的属性图变换系统不变量的形式化验证。 (英语) 兹比尔1502.68160

Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 257-275 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于属性定向归纳的协作并行化方法。 (英语) Zbl 07228511号

Beyer,Dirk(编辑)等人,《验证、模型检查和抽象解释》。第21届国际会议,VMCAI 2020,美国洛杉矶新奥尔良,2020年1月16-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11990, 270-292 (2020).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数学证明的设计模式。一本指南,特别是针对计算机科学家的。(设计模式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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份