默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第33届CAV 2021：虚拟赛事——第二部分

>主页 >会议和研讨会 >腔静脉

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2021-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2012-2
亚历山德拉·席尔瓦,K.鲁斯坦·莱诺:
计算机辅助验证——第33届国际会议，CAV 2021，虚拟事件，2021年7月20日至23日，会议记录，第二部分。计算机科学课堂讲稿12760,施普林格 2021，国际标准图书编号978-3-030-81687-2

复杂性和终止

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AbateGR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AbateGR20
亚历山德罗·阿巴特,米尔科·贾科布,迪帕科·罗伊:
学习概率终止证明。 3-26
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ReinhardJ20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ReinhardJ20
托比亚斯·莱因哈德,雅各布施:
Ghost Signals:验证忙碌等待的终止-验证忙碌等待是否终止。 27-50
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ZhuK20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ZhuK20
朱绍伟,扎卡里·金凯德:
关于线性回路终止的思考。 51-74
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KuraUH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KuraUH20
佐藤·库拉（Satoshi Kura）,Hiroshi Unno先生,Hasuo一郎:
基于CEGIS的终止分析中的决策树学习。 75-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeutgebMZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeutgebMZ20
Lorenz Leutgeb公司,乔治·莫瑟,弗洛里安·祖勒格:
ATLAS：自我调整数据结构的自动摊销复杂性分析。 99-122

决策程序和解决方案

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/新加坡I20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SingherI20
伊坦·辛格,沙查尔·伊扎基:
演绎综合理论探索。 125-148
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ShiFLTWY20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ShiFLTWY20
小木市,余福福,刘嘉祥,蔡明贤,王朝霞（Bow-Yaw Wang）,博阴阳:
CoqQFBV：一种可扩展的认证SMT量化器自由位向量解算器。 149-171
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LefaucheuxOPW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LefaucheuxOPW20
恩格尔·勒福丘,乔尔·瓦克宁,大卫·帕塞,詹姆斯·沃雷尔:
多孔不变量。 172-194
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BaierBF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaierBF20
拜尔,德克·拜尔,卡尔海因斯·弗里德伯格:
JavaSMT 3：与Java中的SMT解算器交互。 195-208
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoCPGJK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoCPGJK20
马可·波扎诺,亚历山德罗·西马蒂,安东尼·费尔南德斯·皮雷,阿尔贝托·格里乔,马丁·乔纳斯,格雷格·金伯利:
基于SMT的失效传播高效分析。 209-230
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KremerNP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KremerNP20
Gereon Kremer公司,艾娜·尼梅茨,马蒂亚斯·普雷纳:
ddSMT 2.0：针对SMT-LIBv2语言和朋友的更好的Delta调试。 231-242
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MarkgrafSL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MarkgrafSL20
奥利弗·马克格拉夫,丹尼尔·斯坦,安东尼·W·林:
带查询的整数超立方体的学习联合（及其在一元分解中的应用）。 243-265
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JovanovicD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JovanovicD20
德扬·约万诺维奇,布鲁诺·杜特雷:
非线性算法的插值和模型检验。 266-288
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BerzishKMMDNG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BerzishKMMDNG20
墨菲·贝尔齐什,米贾·库尔钦斯基（Mitja Kulczynski）,费德里科·莫拉,弗洛林·马内亚,乔尔·戴伊,德克·诺沃特卡,维杰·加内什:
用于正则表达式和字符串长度上的线性算术的SMT解算器。 289-312
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BendikM20a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BendikM20a
雅罗斯拉夫·本迪克,库尔德普·S·梅尔:
计算最小不可满足子集。 313-336
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PeyrasBBC20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PeyrasBC20
昆廷·佩拉斯,Jean-Paul Bodevix公司,朱利安·布鲁内尔,大卫·切穆尔:
无限状态系统时间特性的声音验证程序。 337-360

硬件和模型检查

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/YuBH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/YuBH20
艾米丽·余（Emily Yu）,阿明·比尔,凯霍·赫尔扬科:
硬件模型检查结果认证进展。 363-386
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChiariMP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChiariMP20
米歇尔·奇亚里,迪诺·曼德里奥利,马泰奥·普拉德拉:
模型检查结构化上下文无关语言。 387-410
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GnadELH20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GnadELH20
丹尼尔·格纳德,扬·艾森胡特,阿尔贝托·卢奇·拉富恩特,约格·霍夫曼:
使用解耦搜索进行模型检查，以确定宏观规则属性。 411-434
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/雅各布斯S20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JacobsS20
瑞典雅各布斯,穆罕默德·萨克:
AIGEN：符号转换系统的随机生成。 435-446
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/OsamaW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/OsamaW20
穆罕默德·奥萨马,安东·威伊斯:
GPU加速使用ParaFROST进行有界模型检查。 447-460
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MannILYZBGB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MannILYZBGB20
马凯·曼,艾哈迈德·伊尔凡,弗洛里安·朗辛,Yahan Yang（杨雅翰）,张洪策,克里斯托弗·布朗,阿尔蒂·古普塔,克拉克·W·巴雷特:
Pono：一个灵活且可扩展的基于SMT的模型检查器。 461-474

逻辑基础

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChenLTR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChenLTR20
陈晓红,林正耀,闽泰Trinh,格里戈·罗苏:
通过证据生成实现可信的基于语义的语言框架。 477-499
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HalleT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HalleT20
西尔万·霍尔,雨果·特伦布雷:
细粒度解释基础。 500-523
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BatzCKKMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BatzCKKMS20
凯文·巴茨,陈明帅,本杰明·卢西安·卡明斯基,Joost-Pieter Katoen公司,克里斯托夫·马蒂亚,菲利普·施罗德:
格k-归纳法及其在概率程序中的应用。 524-549

随机系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JungesTS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JungesTS20
塞巴斯蒂安·荣格斯,哈泽姆·托法,桑吉特·塞希亚:
马尔可夫决策过程的运行时监视器。 553-576
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HoltzenJVMSB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HoltzenJVMSB20
史蒂文·霍尔岑,塞巴斯蒂安·荣格斯,马塞尔·巴斯奎兹·香拉特（Marcell Vazquez-Chanlatte）,托德·D·米尔斯坦,桑吉特·塞希亚,盖·范登·布勒克:
基于概率推理的有限水平马尔可夫链模型检验。 577-601
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JungesJS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JungesJS20
塞巴斯蒂安·荣格斯,尼尔斯·詹森,桑吉特·塞希亚:
在POMDP中实施最安全可达性。 602-625
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ConstantinidesD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ConstantinidesD20
乔治·A·康斯坦丁（George A.Constantinides）,弗雷德里克·达尔奎斯特,兹沃尼米尔·拉卡马里克,洛科·萨尔瓦多:
概率浮点计算的严格舍入误差分析。 626-650
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HahnPSSTW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HahnPSSTW20
恩斯特·莫里茨·哈恩,马特奥·佩雷斯,斯文·舍韦,法比奥·萨蒙齐,阿什图什·特里维迪,多米尼克·沃伊特扎克:
分支马尔可夫决策过程的无模型强化学习。 651-673

软件验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Pereira20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PereiraR20
马里奥·佩雷拉,安托尼奥·拉瓦拉:
Cameler:OCaml的演绎验证工具。 677-689
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Berg20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Berg20
弗雷亚克·范德伯格:
LLMC：验证高性能软件。 690-703
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ParthasarathyMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ParthasarathyMS20
高拉夫·帕塔萨拉蒂,彼得·米勒,亚历山大·萨默斯:
正式验证实际验证条件生成器。 704-727
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/XuWWYL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/XuWWYL20
徐香泽,吴金华,王玉亭,振国音,李鹏飞:
指令编码器和解码器的自动生成和验证。 728-751
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeeKHL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeeKHL20
朱尼扬·李,Dongjoo Kim（金东珠）,中基尔湖,努诺·P·洛佩斯:
LLVM内存模型的SMT编码用于有界翻译验证。 752-776
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MansurMCNW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MansurMCNW20
穆罕默德·努迈尔·曼苏尔,本杰明·马里亚诺,玛丽亚·克里斯塔基斯,豪尔赫·纳瓦斯,瓦伦丁·瓦斯特霍尔茨（Valentin Wüstholz）:
根据自定义使用场景自动定制抽象解释。 777-800
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MhanLH20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MhanLH20
安舒马·莫汉,Wei Xiang Leow公司,阿奎那·霍伯:
Dijkstra、Kruskal和Prim算法的C实现的功能正确性。 801-826
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MaksimovicASG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MaksimovicASG20
彼得·马克西莫维奇,萨查·艾莉·阿尤恩,何塞·弗拉戈索·桑托斯,菲利普·加德纳:
Gillian，第二部分：JavaScript和C的真实世界验证。 827-850
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/无支架BDJLTJJZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaylessBDJLTJJZ20
萨姆·贝利斯,约翰·D·巴克斯,丹·达科斯塔,本杰明·琼斯,内特·朗奇伯里,帕特里克·特伦丁,凯尔西·朱厄尔,萨加·乔希,迈克尔·曾庆红（Michael Q.Zeng）,南迪塔·马修斯:
使用阻止的路径调试网络可达性。 851-862
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AbertGMMR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AbertGMMR20
埃尔维拉·阿尔伯特,萨米尔·吉纳伊姆,恩里克·马丁·马汀,艾丽西亚·梅拉约,阿尔伯特·鲁比奥:
使用回路专业化和Max-SMT的下限合成。 863-886
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChalupaKST20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChalupaKST20
马雷克·查卢帕,大卫·克拉斯卡,简·斯特雷切克,卢卡斯·托莫维奇:
强控制依赖的快速计算。 887-910
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakrabortyGU20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakrabortyGU20
Supratik Chakraborty公司,阿舒托什·古普塔,Divyesh Unadkat公司:
Diffy：使用差异不变量对数组程序进行归纳推理。 911-935

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。