×

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

SMT中浮点数推理的三层策略。 (英语) Zbl 1494.68282号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。10427, 419-435 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

STLInspert:STL验证和保证。 (英语) Zbl 1494.68173号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 225-232 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Reluplex:用于验证深层神经网络的高效SMT求解器。 (英语) Zbl 1494.68167号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426,97-117(2017)。
PDF格式BibTeX公司 XML格式引用

反例引导的模型合成。 (英语) Zbl 1452.68122号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 264-280 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动搜索ARX密码的基于位的除法属性和基于字的除法特性。 (英语) 1420.94097兹罗提

Takagi,Tsuyoshi(编辑)等人,《密码学进展——2017年亚洲密码》。第23届国际密码学和信息安全理论与应用会议,中国香港,2017年12月3日至7日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10624, 128-157 (2017).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互式定理证明的自动化理论探索:Hipster系统简介。 (英语) 兹比尔1483.68484

Ayala Rincón,Mauricio(编辑)等人,交互定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10499,1-11(2017)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LOIS:语法和语义。 (英语) Zbl 1380.68125号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。586-598 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Genesis:在多租户网络中合成转发表。 (英语) Zbl 1380.68134号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。562-585 (2017).
MSC公司:68号30 68M10个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

接受量化推理。 (英语) Zbl 1380.68280号

Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。260-270 (2017).
MSC公司:60年第68季度 68号30 68吨15
PDF格式BibTeX公司 XML格式引用

SMT中的关系约束求解。 (英语) Zbl 1494.68289号

de Moura,Leonardo(编辑),自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10395, 148-165 (2017).
MSC公司:68伏15 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可满足性模有界检查。 (英语) Zbl 1494.68283号

de Moura,Leonardo(编辑),自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10395, 114-129 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

位向量理论的锐化约束规划方法。 (英语) Zbl 1489.68249号

Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10335, 3-20 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于程序分析的分区内存模型。 (英语) Zbl 1484.68054号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 539-558 (2017).
MSC公司:68号30 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用MCSAT求解非线性整数算法。 (英语) Zbl 1484.68220号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 330-346 (2017).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过将抽象域与SMT相结合进行分块抽象解释。 (英语) Zbl 1484.68049号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 310-329 (2017).
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

位向量公式中的匹配乘法。 (英语) Zbl 1484.68098号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 131-150 (2017).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前3名

主字段

全部的 前3名

软件