×

计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分。 (英语) Zbl 1453.68017号

计算机科学课堂讲稿12224.查姆:施普林格(ISBN 978-3-030-53287-1/pbk;978-3-0030-53288-8/电子书)。十七、666页。(2020).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一次会议,请参阅[Zbl 1416.68007号;Zbl 1416.68008号]. 本次会议议事录第二部分见[Zbl 1453.68018号].
索引文章:
Tran,Hoang-Dung;斯坦利·巴克;项伟明;泰勒·T·约翰逊。,使用ImageStars验证深度卷积神经网络,18-42[兹比尔1478.68180]
Elboher,Yizhak Yisrael;贾斯汀·戈奇利奇(Justin Gottschlich);凯兹,盖伊,基于抽象的神经网络验证框架,43-65[Zbl 1478.68154号]
斯坦利·巴克;Tran,Hoang-Dung;霍布斯(Kerianne Hobbs);泰勒·T·约翰逊。,用于验证ReLU神经网络的改进几何路径枚举,66-96[Zbl 1478.68142号]
Xu,Dong;戴维·施莱弗(David Shriver);马修·德怀尔(Matthew B.Dwyer)。;塞巴斯蒂安·埃尔鲍姆,系统生成用于DNN验证的各种基准,97-121[Zbl 1478.68184号]
约翰·巴克斯(John Backes);尤利西斯·贝鲁埃科;泰勒·布雷;丹尼尔·布里姆;库克,拜伦;安德鲁·加塞克(Andrew Gacek);Jhala,Ranjit;勒科夫、卡斯珀;肖恩·麦克劳林(Sean McLaughlin);梅农,马达夫;丹尼尔·皮布尔斯(Daniel Peebles);乌贾瓦尔省普加利亚;龙塔,尼哈;科尔·施莱辛格;亚当·斯科迪;Tanuku、Anvesh;Varming,Carsten;维斯瓦纳坦,迪帕,访问控制策略的分层抽象,165-176[Zbl 1478.68029号]
沙海、舒巴姆;普拉莫德·苏布拉曼扬;罗希特·辛哈,使用迹枚举关系验证定量超属性,201-224[Zbl 1478.68033号]
内马蒂,哈米德;巴勃罗,布瑞斯;安德烈亚斯·林德纳;罗伯特·瓜夏莱(Roberto Guanciale);瑞典雅各布斯,用于计算机体系结构的抽象侧信道模型的验证,225-248[Zbl 1478.68032号]
卡提克·纳加尔;普拉西塔·穆克吉;苏雷什·贾甘纳森,复制系统中并发库的语义、规范和有界验证,251-274[Zbl 1478.68045号]
伯恩哈德·克拉格尔(Bernhard Kragl);沙兹·卡迪尔;托马斯·亨辛格(Thomas A.Henzinger)。,结构化并发程序的改进,275-298[Zbl 1478.68044号]
贾比尔,努拉尔丁;瑞典雅各布斯;克里斯托弗·瓦格纳(Christopher Wagner);米林·库尔卡尼;萨曼塔(Samanta,Roopsha),具有全局同步和保护的系统的参数化验证,299-323[Zbl 1478.68192号]
李,肖;Farzin Houshmand;莱萨尼,莫森,汉帕:solver-aded recency-aware复制,324-349[Zbl 1478.68169号]
圣伊里西,伯克;康斯坦丁埃纳;阿扎德·法尔赞;苏哈·奥伦·穆特鲁吉尔,导致线性化能力违规的根源,350-375[Zbl 1478.68043号]
丹尼尔·施梅尔(Daniel Schemmel);朱利安·勃宁;塞萨尔,罗德里格斯;戴维·拉普雷尔;克劳斯·韦尔,用于测试多线程程序的符号部分顺序执行,376-400[Zbl 1478.68046号]
甘婷;夏碧灿;薛、白;詹乃军;戴丽云,非线性Craig插值生成,415-438[Zbl 1478.68159号]
雅罗斯拉夫·本迪克;Kuldeep S.梅尔。,最小不可满足子集的近似计数,439-462[Zbl 1478.68199号]
马特·索斯;斯蒂芬·戈赫特;Kuldeep S.梅尔。着色、分离和惰性CNF-XOR求解及其在计数和采样中的应用,463-484[Zbl 1478.68203号]
默特坎·特梅尔;安娜·斯洛博多娃(Anna Slobodova);沃伦·亨特(Warren A.jun Hunt)。,自动和可扩展的整数乘数验证,485-507[Zbl 1478.68178号]
弗里德里希·斯利沃夫斯基,基于插值的语义门提取及其在QBF预处理中的应用,508-528[Zbl 1478.68202号]
尼古拉·贝内什;布里姆,卢博什;贾库布·卡德莱卡;塞缪尔·帕斯特瓦;萨夫拉内克,大卫,AEON:参数化布尔网络的吸引子分岔分析,569-581[Zbl 1478.68085号]
陈欣;彭超;Lin,Wang;杨正峰;张一芳;李宣东,一种解决障碍证书生成中BMI问题的新方法,582-603[Zbl 1478.68152号]
桑卡拉纳拉亚南,斯里拉姆,使用树分解上的消息传递进行可达性分析,604-628[Zbl 1478.68173号]
范、楚楚;克里斯蒂娜·米勒(Kristina Miller);萨扬·密特拉,非线性车辆模型的快速保证安全控制器综合,629-652[Zbl 1482.93185号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
60年第68季度 规范和验证(程序逻辑、模型检查等)
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部