停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2013年第25届CAV：俄罗斯圣彼得堡

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2013
娜塔莎·莎莉吉娜,赫尔穆特·维思:
计算机辅助验证——第25届国际会议，2013年7月13日至19日，俄罗斯圣彼得堡，CAV 2013。诉讼程序。计算机科学课堂讲稿8044,施普林格 2013，国际标准图书编号978-3-642-39798-1

邀请的教程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KovacsV13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KovacsV13
劳拉·科瓦奇,安德烈·沃龙科夫:
一阶定理证明与吸血鬼。 1-35
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeizmannHP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeizmannHP13
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
为热爱Automata的人进行软件模型检查。 36-52
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PalikarevaC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PalikarevaC13
克里斯蒂娜·帕利卡列娃,克里斯蒂安·卡达尔:
符号执行中的多解决方案支持。 53-68

生物

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PauleveAK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PauleveAK13
洛伊克·保列夫,杰弗里·安德烈（Geoffroy Andrieux）,Heinz Koeppl公司:
大规模自动机网络可达性的欠近似割集。 69-84
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ClaessenFIPW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ClaessenFIPW13
科恩·克莱森,贾斯敏·费舍尔,萨明·伊斯蒂亚克,尼尔·皮特曼,王勤思:
通过减少可达集对信号传输网络进行模型检验。 85-100
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ReiterBCN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ReiterBCN13
约翰内斯·雷特,伊万娜·博齐克,克里希南德·查特吉,马丁·诺瓦克:
TTP：肿瘤进展工具。 101-106
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrimCDS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrimCDS13
卢博斯·布里姆,米兰塞斯卡,斯文·德拉赞,大卫·萨法内克:
用定量模型检验探索随机生化系统的参数空间。 107-123

并发

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EsparzaGM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EsparzaGM13
哈维尔·埃斯帕尔扎,皮埃尔·甘蒂,鲁帕克·马朱姆达尔:
异步共享内存系统的参数化验证。 124-140
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlgraveKT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlgalaveKT13
翡翠阿尔加莱,丹尼尔·克罗宁,迈克尔·陶奇尼格:
并行软件有效有界模型检查的偏序。 141-157
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KloosMNP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KloosMNP13
约翰内斯·克洛斯,鲁帕克·马朱姆达尔,菲利普·尼基奇,鲁齐卡·皮斯卡:
增量感应覆盖。 158-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DragoiGH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DragoiGH13
塞扎拉·德拉戈伊,阿舒托什·古普塔,托马斯·汉津格:
具有协同更新的并发对象的自动线性化证明。 174-190
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FarzanK13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FarzanK13
阿扎德·法尔赞,扎卡里·金凯德:
二重奏：无边界并行性的静态分析。 191-196

硬件

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArmoniFJ13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArmoniFJ13
罗伊·阿莫尼,达娜·菲斯曼,奈永金（Naiyong Jin）:
SVA和PSL局部变量-实用方法。 197-212
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BraibantC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BraibantC13
托马斯·布莱班特,亚当·克利帕拉:
硬件合成的形式验证。 213-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LvSX13级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LvSX13
吕冠峰,苏凯乐,徐燕燕:
CacBDD：具有动态缓存管理的BDD包。 229-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BinghamBEG13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BinghamBEG13
布拉德·宾厄姆,杰西·宾厄姆,约翰·埃里克森,马克·格林斯特雷特:
死锁自由度的分布式显式状态模型检查。 235-241

混合动力系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KongHSHG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KongHSHG13
香港汇,飞鹤,宋晓宇,威廉·N.洪,明古:
基于指数条件的混合系统安全验证屏障证书生成。 242-257
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChenAS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChenA13
Xin Chen（新晨）,埃里卡·阿布拉哈姆,斯里拉姆·桑卡拉纳拉亚南:
Flow*：非线性混合系统分析仪。 258-263
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/顿泽FM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DonzeFM13
亚历山大·唐泽,托马斯·费雷尔,奥德·马勒:
STL的高效稳健监控。 264-279
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PrabhakarS13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PrabhakarS13
帕维思拉·普拉巴卡,米丽亚姆·加西亚·索托:
基于抽象的混合系统稳定性模型检验。 280-295
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ManciniMMMMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ManciniMMMMT13
托尼·曼奇尼,费德里科·马里,安娜丽莎·马西尼,伊戈尔·梅拉蒂,法比奥·梅利,恩里科·特隆西:
通过模型检查驱动的仿真进行系统级形式化验证。 296-312

插值

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlbarghouthiM13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlbarghouthiM13网址
Aws Albarghouthi公司,肯尼思·麦克米兰:
漂亮的插值。 313-329
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/VizelRN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/VizelRN13
亚基尔·维泽尔,瓦迪姆·里夫钦,亚历山大·纳达尔:
在CNF中高效生成小插值函数。 330-346
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RummerHK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RummerHK13
菲利普·吕默,侯赛因·霍贾特,维克托·昆卡:
Horn-子句验证的析取插值。 347-363
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DaiXZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DaiXZ13
戴丽云,碧灿霞,詹乃军（Naijun Zhan）:
用半定规划生成非线性插值函数。 364-380

回路和终端

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/克隆LW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KroeningLW13
丹尼尔·克罗宁,麦特·刘易斯,乔治·魏森巴赫:
C程序中用于快速反例检测的欠近似循环。 381-396
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GantyG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GantyG13
皮埃尔·甘蒂,萨米尔·吉纳伊姆:
证明终止从结束开始。 397-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrockschmidtCF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrockschmidtCF13
马克·布罗克施密特,拜伦·库克,卡斯滕·福斯:
通过合作实现更好的终止。 413-429

新建域

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdlerEV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdlerEV13
奥斯里·阿德勒,辛迪·艾斯纳,塔蒂亚娜·维克斯勒:
存在歧义时的相对等效性。 430-446
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChagantyLNR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChagantyLNR13
阿伦·特贾斯维·查甘蒂,阿卡什·拉尔,阿迪蒂亚·诺里,斯里拉姆·拉贾马尼:
使用CEGAR将关系学习与SMT求解器相结合。 447-462
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EsparzaLNNSS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EsparzaLNNSS13
哈维尔·埃斯帕尔扎,彼得·兰米奇,雷内·诺依曼,托比亚斯·尼普科,亚历山大·辛普夫,Jan-Georg Smaus公司:
一个完全验证的可执行LTL模型检查器。 463-478
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlmagorAK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlmagorAK13
沙乌尔·阿尔马戈,盖伊·阿夫尼,奥尔娜·库普夫曼:
自动生成质量规范。 479-494

概率论与统计学

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/StewartEY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/StewartEY13
阿利斯泰尔·斯图尔特,库沙·埃特萨米,米哈利斯·扬纳卡基斯:
单调多项式系统牛顿法的上界和概率单计数器自动机的P时间模型检验。 495-510
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakarovS13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakarovS13
阿列克桑达尔·查卡洛夫,斯里拉姆·桑卡拉纳拉亚南:
带鞅的概率规划分析。 511-526
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PuggelliLSS13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PuggelliLSS13
阿尔贝托·普格利,李文超,阿尔贝托·桑吉奥瓦尼·文森特利,桑吉特·塞希亚:
凸不确定MDP PCTL性质的多项式时间验证。 527-542
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Chatterjee 13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Chatterjee网站13
克里希南德·查特吉,雅库布·拉基:
低树宽马尔可夫决策过程的快速算法。 543-558
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeGK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeGK13
克里希南德·查特吉,安德烈亚斯·盖泽,扬·克伦斯克:
概率模型检验和LTL综合的广义拉宾对自动机。 559-575
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JegourelLS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JegurelLS13
西里尔·杰古尔,Axel Legay公司,肖恩·塞德瓦兹:
统计模型检查稀有属性的重要性拆分。 576-591

SAT和SMT

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Marques-SilvaJB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Marques-SilvaJB13
若昂·马尔克斯·席尔瓦,米科拉斯·加诺塔,安东·贝洛夫:
布尔公式中单调谓词上的极小集。 592-607
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakrabortyMV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakrabortyMV13
Supratik Chakraborty公司,库尔德普·S·梅尔,莫舍·瓦尔迪:
SAT目击者的可扩展且几乎一致的生成器。 608-623
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/意大利V13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DAntoniV13（网址：https://dblp.org/rec/conf/cav/DAntoniV13）
洛里斯·德安东尼,玛格斯·维恩斯:
扩展符号有限传感器的等效性。 624-639
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ReynoldsTGK13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ReynoldsTGK13网址
安德鲁·雷诺兹,塞萨尔·蒂内利,阿米特·戈尔,萨瓦·克里斯蒂:
SMT中的有限模型发现。 640-655
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChengRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChengRS13
Chih-Hong Cheng先生,哈拉尔德·罗斯,纳塔拉詹·尚卡尔:
JBernstein：广义多项式约束的有效性检查器。 656-661
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Manolios第13页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ManoliosP13
Manolios帕纳焦蒂斯,帕帕瓦西里乌:
ILP模理论。 662-677
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/UhlerD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/UhlerD13
理查德·乌勒,尼拉夫·戴夫:
高级符号计算到SMT查询的自动转换。 678-683
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DilligD13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DilligD13
伊西尔·迪利格,托马斯·迪利格:
解释：一种进行外推推理的工具。 684-689

安全

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChothiaKN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChothiaKN13
汤姆·乔西亚,川本优助,克里斯·诺瓦科维奇:
估计信息泄漏的工具。 690-695
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MeierSCB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MeierSCB13网址
西蒙·梅尔,Benedikt Schmidt公司,Cas Cremers公司,大卫·A·巴思:
用于安全协议符号分析的TAMARIN证明。 696-701
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BiondiLTW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BiondiLTW13
法布里奇奥·比昂迪,Axel Legay公司,路易斯·马里·特劳努埃兹,安德烈·瓦索夫斯基:
QUAIL：强制性代码的定量安全分析器。 702-707
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChevalCP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChevalCP13
文森特·雪娃,Véronique Cortier公司,安托万·普莱特:
长度可能会破坏隐私-或者如何检查长度是否相等。 708-723
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SosnovichGN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SosnovichGN13
阿迪·索斯诺维奇,奥尔娜·格伦伯格,加比裸体:
使用参数化系统查找网络协议中的安全漏洞。 724-739

形状分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HolikLRSV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HolikLRSV13
卢卡斯·霍利克,Ondrej Lengál,亚当·罗加列维奇,杰里·西马切克,托马斯·沃伊纳:
基于森林自动机的全自动形状分析。 740-755
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ItzhakyBINS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ItzhakyBINS13
沙查尔·伊扎基,安妮迪亚·班纳吉,尼尔·伊梅尔曼,阿列克桑达尔·纳内夫斯基,穆利·萨吉夫:
关于链接数据结构中可达性的有效命题推理。 756-772
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PiskacWZ13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PiskacWZ13
鲁齐卡·皮斯卡,托马斯·维斯,达米安·祖弗里:
使用SMT自动化分离逻辑。 773-789
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HaaseIOP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HaaseIOP13
克里斯托夫·哈斯,萨明·伊斯蒂亚克,乔尔·瓦克宁,马修·帕金森:
SeLoger：分离逻辑中基于图形的推理工具。 790-795

软件验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HarrisJLJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HarrisJLJ13
威廉·R·哈里斯,金国良,山路,萨默什·杰哈:
以交互方式验证库使用情况。 796-812
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0001LMN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/0001LMN13
普拉纳夫·加格,克里斯托夫·洛丁,P.马都苏丹,丹尼尔·奈德:
学习线性数据结构的通用量化不变量。 813-829
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ColangeBKT13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ColangeBKT13
Maximilien Colange公司,Souheib Baarir公司,Fabrice Kordon公司,扬恩·蒂埃里·米格:
面向使用决策图的分布式软件模型检查。 830-845
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Komuravelli GCC13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KomuravelliGCC13
安维什·科穆拉维利,阿里·古芬克尔,萨加尔·查基,埃德蒙·克拉克:
基于SMT的无边界软件模型检查中的自动抽象。 846-862
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarnatBHHKLRSW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarnatBHHKLRSW13
吉里·巴纳特,卢博斯·布里姆,Vojtech哈维尔,简·哈维切克,简·克里霍,米兰蓝科,彼得·罗凯,弗拉迪米尔·斯蒂尔,杰里·韦瑟:
DiVinE 3.0-多线程C&C++程序的显式状态模型检查器。 863-868
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeyenePR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeyenePR13
特沃德罗斯·A·贝耶恩,科内留·波皮亚,安德烈·里巴尔琴科:
解决存在量化Horn子句。 869-882

合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TsaiTH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/TsaiTH13
蔡明贤,Yih-Kuen Tsay先生,黄禹锡:
游戏、Omega-Automata和Logics的目标。 883-889
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Brenguier13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Brenguier13
罗曼·布伦吉尔:
PRALINE：并发游戏中计算纳什均衡的工具。 890-895
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EssenJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EssenJ13
克里斯蒂安·冯·埃森,芭芭拉·朱布斯曼:
程序修复无悔。 896-911
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/沃尼施SW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WonischSW13
丹尼尔·沃尼施,亚历山大·施雷默,海克·韦尔海姆:
来自Proofs的程序-PCC替代方案。 912-927
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KhalimovJB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KhalimovJB13
阿伊拉特·卡利莫夫,瑞典雅各布斯,罗德里克·布隆:
PARTY令牌环的参数化合成。 928-933
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlbarghouthiGK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlbarghouthiGK13
奥斯·阿尔巴古蒂,苏米特·古尔瓦尼,扎卡里·金凯德:
递归程序综合。 934-950
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyHRRT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyHRRT13
帕沃尔·塞恩,托马斯·汉津格,阿尔琼·拉达克里什纳,列奥尼德·雷日克,托尔斯滕·塔拉赫:
通过语义保持变换实现并发的高效合成。 951-967

时间

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LaarmanODLP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LaarmanODLP13
阿尔芬斯·拉阿尔曼,Mads公司。奥尔森,安德烈亚斯·恩格尔布雷特·达尔斯加德,金·古德斯特兰·拉森,雅各·范德波尔:
基于包含抽象的定时Büchi自动机多核空性检查。 968-983
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AndreLSDL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AndreLSDL13
埃蒂安·安德烈,杨柳,孙军（Jun Sun）,金松洞,尚伟林:
PSyHCoS：分层并发实时系统的参数合成。 984-989
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HerbreteauSW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HerbreteauSW13
弗雷德里克·赫布雷托,B.斯里瓦桑,伊戈尔·瓦卢基维奇:
时间自动机的懒惰抽象。 990-1005
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Sankur13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Sankur13
奥坎·桑库尔:
Shrinktech:时间自动机鲁棒性分析工具。 1006-1012

服务

管理网站设置

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