停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2014年第26届CAV：奥地利维也纳

>主页 >会议和研讨会 >CAV汽车

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2014
阿明·比尔,罗德里克·布隆:
计算机辅助验证-2014年第26届国际会议，CAV，作为2014年维也纳逻辑之夏的一部分举行，VSL，2014年7月18日至22日，奥地利维也纳。诉讼程序。计算机科学课堂讲稿8559,施普林格 2014，国际标准图书编号978-3-319-08866-2

软件验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FilliatreGP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FilliatreGP14
Jean-Christophe Filliátre女士,莱昂·冈德尔曼,安德烈·帕斯科维奇:
幽灵的精神密码。 1-16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Komuravelli GC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KomuravelliGC14
安维什·科穆拉维利,阿里·古芬克尔,萨加尔·查基:
基于SMT的递归程序模型检查。 17-34
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ItzhakyBRST14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ItzhakyBRST14
沙查尔·伊扎基,尼古拉·比约纳,托马斯·W·代表,穆利·萨吉夫,阿迪蒂亚·塔库尔:
属性定向形状分析。 35-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeGQC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeGQC14
广乐路,克里斯蒂安·吉尔吉纳,秦盛超,魏恩甘钦:
通过二阶双外推进行形状分析。 52-68
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0001LMN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/0001LMN14
普拉纳夫·加格,克里斯托夫·洛丁,P.马都苏丹,丹尼尔·奈德:
ICE：学习不变量的健壮框架。 69-87
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0001A14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/0001A14
拉胡尔·夏尔马,亚历克斯·艾肯:
从不变量检查到使用随机搜索的不变量推断。 88-105
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RakamaricE14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RakamaricE14
兹沃尼米尔·拉卡马利奇,迈克尔·埃米:
SMACK：从验证程序实现中解耦源语言详细信息。 106-113

安全

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EldibW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EldibW14
哈桑·埃尔迪布,王超（Chao Wang）:
针对侧信道攻击的掩蔽对策的综合。 114-130
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChowdhuryJGD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChowdhuryJGD14
奥马尔·乔杜里,李敏佳,Deepak Garg公司,阿努帕姆·达塔:
隐私策略运行时监控的时间模式检查。 131-149
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdullaACHRRS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaACHRRS14
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,陈玉芳,卢卡斯·霍利克,艾哈迈德·雷兹,菲利普·吕默,贾里·斯坦曼:
验证的字符串约束。 150-166
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KanavL014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KanavL014
苏迪普·卡纳夫,彼得·兰米奇,安德烈·波佩斯库:
具有验证文件机密性的会议管理系统。 167-183
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FerraraMNP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FerraraMNP14
安娜·丽莎·费拉拉,P.马都苏丹,Truc L.Nguyen公司,Gennaro Parlato公司:
Vac-基于管理角色的访问控制策略的验证程序。 184-191

自动化

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EsparzaK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EsparzaK14网站
哈维尔·埃斯帕尔扎,扬·克伦斯克:
从LTL到确定性自动机：一种非安全组合方法。 192-208
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DAntoniA14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DAntoniA14网址
洛里斯·德安东尼,拉杰夫·阿鲁尔:
符号可视下推自动机。 209-225

模型检查和测试

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BardsleyBCCDDKLQ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BardsleyBCCDDKLQ14
埃塞尔·巴兹利,亚当·贝茨,内森·冲（Nathan Chong）,彼得·科林伯恩,德利吉安潘塔齐斯,阿拉斯泰尔·唐纳森,杰伦·凯特马,丹尼尔·刘,沙兹·卡迪尔:
为GPU内核设计一个静态验证工具。 226-242
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/McMillan公司14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/McMillan14
肯尼思·麦克米兰:
复习懒惰注释。 243-259
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/VizelG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/VizelG14
亚基尔·维泽尔,阿里·古芬克尔:
插值属性定向可达性。 260-276
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BinghamL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BinghamL14网站
杰西·宾厄姆,乔·莱斯利·胡德:
使用符号模拟验证相对误差界限。 277-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GligoricMSEM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GligoricMSEM14
米洛斯·格里戈里奇,鲁帕克·马朱姆达尔,罗汉·夏尔马,拉米亚·埃卢西,达科·马里诺夫:
分布式软件历史的回归测试选择。 293-309
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WijsKB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WijsKB14
安东·威伊斯,Joost-Pieter Katoen公司,德拉甘·博斯纳奇:
基于GPU的图分解为强连通和最大端点分量。 310-326
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeyerDW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeyerDW14
德克·拜尔,乔治·德雷斯勒,菲利普·温德勒:
谷歌应用引擎云中的软件验证。 327-333
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CavadaCDGMMMRT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CavadaCGMMMRT14
罗伯托·卡瓦达,亚历山德罗·西马蒂,米歇尔·多里加蒂,阿尔贝托·格里乔,亚历山德罗·马里奥蒂,安德烈亚·米凯利,塞尔吉奥·莫弗,马可·罗维里,斯特凡诺·托内塔:
nuXmv符号模型检查器。 334-342

生物学和杂交系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PalettiYHWK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PalettiYHWK14
尼古拉·保莱蒂,博扬·约丹诺夫,优素福·哈马迪,克里斯托夫·温特斯泰格,希勒尔·库格勒:
分析和合成基因组逻辑功能。 343-357
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CookFHIJP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CookFHIJP14
拜伦·库克,贾斯敏·费舍尔,本杰明·霍尔,萨明·伊斯蒂亚克,加维特·朱尼瓦尔,尼尔·皮特曼:
发现生物模型的不稳定性。 358-372
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HuangFMMK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HuangFMMK14
黄振琪,楚楚凡,亚历山德鲁·梅雷克莱,萨扬密特拉,Marta Z.Kwiatkowska公司:
心脏细胞非线性混合自动机网络的不变量验证。 373-390
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HansenLLN014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HansenLLN014
亨利·汉森,尚伟林,杨柳,Truong Khanh Nguyen公司,孙军（Jun Sun）:
钻石是女孩最好的朋友：带抽象的时间自动机的部分降阶。 391-406
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/哈格曼14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Hagemann14
威廉·哈格曼:
基于符号正交投影的混合系统可达性分析。 407-423
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiGMT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiGMT14网站
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,斯特凡诺·托内塔:
用K-Liveness验证混合系统的LTL性质。 424-440

游戏与合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozianuDF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozianuDF14
罗迪卡·博齐亚努,卡塔琳·迪马,艾曼纽尔·菲利奥特:
认知时间规范的非安全合成。 441-456
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrazdilKKN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BraddilKKN14
托马斯·布拉兹迪尔,大卫·克拉斯卡,安东·库塞拉,佩特·诺沃特尼:
最小化消费系统的运行成本。 457-472
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeCD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeCD14
克里希南德·查特吉,马丁·克梅利克,Przemyslaw Daca公司:
概率系统定性分析的CEGAR。 473-490
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DilligDC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DilligDC14
托马斯·迪利格,伊西尔·迪利格,斯瓦拉特·乔杜里:
记忆安全的最佳防护合成。 491-507
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlgraveKNP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlgalaveKNP14
翡翠阿尔加莱,丹尼尔·克罗宁,文森特·尼马尔,丹尼尔·波兹尔:
不要坐在围栏上——一种自动插入围栏的静态分析方法。 508-524
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CermakLMM14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CermakLMM14网址
彼得·塞尔马克,阿莱西奥·洛穆西奥,法比奥·莫加维罗,阿尼洛·穆拉诺:
MCMAS-SLK：用于验证策略逻辑规范的模型检查器。 525-532
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NarodytskaLBRW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NarodytskaLBRW14
尼娜·纳罗季斯卡,亚历山大·莱格,法希姆·巴克斯,列奥尼德·雷日克,亚当·沃克:
在没有可控前置器的情况下解决游戏。 533-540
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChengHRS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChengHRS14
Chih-Hong Cheng先生,黄忠浩,哈拉尔德·罗斯,斯特凡·斯塔特尔曼:
G4LTL-ST：PLC程序的自动生成。 541-549

并发

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LesaniMP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LesaniMP14
莫森·莱萨尼,托德·D·米尔斯坦,延斯·帕尔斯伯格:
并发数据结构客户端的自动原子性验证。 550-567
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyHRRT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyHRRT14
帕沃尔·塞恩,托马斯·汉津格,阿琼·拉德哈克里什纳,列奥尼德·雷日克,托尔斯滕·塔拉赫:
并行的无回归综合。 568-584
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/InversoT0TP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/InversoT0TP14
奥马尔·因弗索,埃梅内吉尔多·托马斯科,伯恩德·菲舍尔,萨尔瓦托雷·拉托雷,Gennaro Parlato公司:
通过延迟序列化对多线程C程序进行有界模型检查。 585-602
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EsparzaLMMN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EsparzaLMMN14
哈维尔·埃斯帕尔扎,鲁斯兰·莱德斯马·加尔扎,鲁帕克·马朱姆达尔,菲利普·J·迈耶,菲利普·尼基奇:
基于SMT的覆盖性分析方法。 603-619
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SanchezS14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SanchezS14
亚历杭德罗·桑切斯,塞萨尔·桑切斯:
LEAP：并发数据类型的参数化验证工具。 620-627

SMT与定理证明

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/VeanesBNB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/VeanesBNB14网址
玛格斯·维恩斯,尼古拉·比约纳,列夫·纳奇曼森,谢尔盖·贝雷格:
一元分解。 628-645
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LiangRTBD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LiangRTBD14
梁天一,安德鲁·雷诺兹,塞萨尔·蒂内利,克拉克·W·巴雷特,摩根威慑集团:
字符串和正则表达式理论的DPLL（T）理论求解器。 646-662
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Nadel14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Nadel14
亚历山大·纳达尔:
使用自动规则生成进行位向量重写。 663-679
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HadareanBJBT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HadareanBJBT14网址
莉安娜·哈达伦,克什蒂吉·班萨尔,德扬·约万诺维奇,克拉克·W·巴雷特,塞萨尔·蒂内利:
两个解算器的故事：比特向量的急切和懒惰方法。 680-695
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Voronkov14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Voronkov14
安德烈·沃伦科夫:
阿凡达：一阶定理证明程序的体系结构。 696-710
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PiskacWZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PiskacWZ14
鲁齐卡·皮斯卡,托马斯·维斯,达米安·祖弗里:
使用树和数据自动化分离逻辑。 711-728
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TiwariL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/TiwariL14网站
阿什什·蒂瓦里,帕特里克·林肯:
非线性实数运算片段。 729-736
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Dutertre14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Dutertre14
布鲁诺·杜特雷:
Yices 2.2。 737-744

约束和终止

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinnZV14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinnZV14
莫里茨·辛恩,弗洛里安·祖勒格,赫尔穆特·维思:
用于边界分析和摊销复杂性分析的简单可扩展静态分析。 745-761
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MadhavanK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MadhavanK14
拉维坎德兰·马德哈万,维克托·昆卡:
函数程序的符号资源约束推理。 762-778
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LarrazNORR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LarrazNORR14
丹尼尔·拉拉兹,考斯图布·尼姆卡,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔,阿尔伯特·鲁比奥:
使用Max-SMT证明不终止。 779-796
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeizmannHP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeizmannHP14
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
通过学习终止程序进行终止分析。 797-813
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KupriyanovF14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KupriyanovF14网址
安德烈·库普利亚诺夫,伯恩德·芬克贝纳:
多线程程序的因果终止。 814-830

抽象

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BirgmeierBW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BirgmeierBW14
约翰内斯·比格迈尔,亚伦·R·布拉德利,乔治·魏森巴赫:
归纳引导抽象精化（CTIGAR）的反例。 831-848
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeeS14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeeS14
苏荷·李,卡伦·萨卡拉:
基于近似属性定向可达性和数据路径抽象的无边界可扩展验证。 849-865
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CoxCS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CoxCS14
阿伦·考克斯,Bor Yuh Evan Chang,斯里拉姆·桑卡拉纳拉亚南:
QUICr：集和数的参数化抽象的可重用库。 866-873

服务

管理网站设置

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