×

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

硬件模型检查中用于生成引理的语法引导合成。 (英语) Zbl 1472.68096号

Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12597, 325-349 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

来自有边界环境的无边界过程摘要。 (英语) Zbl 1472.68093号

Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12597, 291-324 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

固定点逻辑的折叠/展开转换。 (英语) Zbl 1483.68196号

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

模型检查并发程序。 (英语) 兹比尔1392.68251

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。573-611(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用属性驱动剪枝进行动态模型检查以检测竞争条件。 (英语) Zbl 1183.68383号

Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿531126-140(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段