停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2007年第19届CAV：德国柏林

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2007
沃纳·达姆,霍尔格·赫尔曼斯:
计算机辅助验证，第19届国际会议，2007年CAV，德国柏林，2007年7月3-7日，会议记录。计算机科学课堂讲稿4590,施普林格 2007，国际标准图书编号978-3-540-73367-6

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Cook07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Cook07
拜伦·库克:
自动证明程序终止。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Russinoff07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Russinoff07网址
大卫·M·拉辛诺夫:
RTL验证的数学方法。 2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Kropf07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Kropf07网址
托马斯·克罗夫:
从工业角度看软件缺陷还是形式化方法有助于汽车软件开发？三

邀请的教程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeyerHS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeyerHS07
德克·拜尔,托马斯·汉津格,瓦苏·辛格:
界面合成算法。 4-19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MouraDS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MouraDS07
莱昂纳多·门登萨·德·莫拉,布鲁诺·杜特雷,纳塔拉詹·尚卡尔:
满意模理论教程。 20-36
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LevensKP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeavensKP07
加里·利文斯,约瑟夫·基尼,埃里克·波尔:
JML教程：Java功能行为的模块化规范和验证。 37
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Franzle07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Franzle07网址
马丁·弗伦泽:
混合动力系统的验证。 38

第一部分：成分

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinhaC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinhaC07
Nishant Sinha公司,埃德蒙·克拉克:
使用懒惰学习的基于SAT的作文验证。 39-54
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CohenN07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CohenN07
艾里尔·柯亨,Kedar S.Namjoshi公司:
全球安全财产的本地证明。 55-67

第二部分：验证过程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GopanR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GopanR07网址
丹尼斯·戈潘,托马斯·W·代表:
低级图书馆分析与总结。 68-81
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakiSV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakiSV07
萨加尔·查基,克里斯蒂安·夏尔哈特,赫尔穆特·维思:
跨知识产权边界的验证。 82-94

第三部分：时间合成和游戏

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/马勒NP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MalerNP07
奥德·马勒,德扬·尼科维奇,阿米尔·普努利:
从有界响应特性合成控制器。 95-107
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlfaroF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlfaroF07
卢卡·德·阿尔法罗,马尔科·法埃拉:
三色奇偶游戏的加速算法及其在计时游戏中的应用。 108-120
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BehrmannCDFLL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BehrmannCDFLL07
格德·贝尔曼,阿格纳斯·考格纳德,亚历山大·戴维,伊曼纽尔·弗勒里,金·古德斯特兰·拉森,迪迪埃·莱姆:
UPPAAL-Tiga：游戏时间到了！ 121-125
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/OuimetL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/OuimetL07
马丁·欧米特,克里斯蒂娜·隆德奎斯特:
TASM工具集：实时系统的规范、仿真和形式验证。 126-130

第四部分：无限状态验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JonssonS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JonssonS07
本特·琼森,马扬克·萨克塞纳:
定期模型检查中的系统加速。 131-144
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdullaDR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaDR07
帕罗什·阿齐兹·阿卜杜拉,乔治·德尔扎诺,艾哈迈德·雷兹:
具有全局条件的无限状态过程的参数化验证。 145-157

第五部分：工具环境

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GaravelMLS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GaravelMLS07
休伯特·加拉维,Radu Mateescu公司,弗雷德里克·朗,温德林·塞维:
CADP 2006：分布式进程的构建和分析工具箱。 158-163
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SuwimonteerabbithBSE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SuwimonteerabbithBSE07
德jvuth Suwimonterabuth,费利克斯·伯杰,斯特凡·施温,哈维尔·埃斯帕尔扎:
jMoped：Java程序的测试环境。 164-167
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/查尔顿H07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CharltonH07
纳撒尼尔·查尔顿,伦敦帝国学院:
赫克托：使用协同分析插件进行软件模型检查。 168-172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FilliatreM07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FilliatreM07
Jean-Christophe Filliátre女士,克劳德·马奇:
用于演绎程序验证的Why/Krakatoa/Caduceus平台。 173-177

第六部分：形状

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BerdineCCDOWY07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BerdineCCDOWY07网址
乔什·伯丁,克里斯蒂亚诺·卡尔卡尼奥,拜伦·库克,迪诺·迪斯特法诺,彼得·W·奥赫恩,托马斯·维斯,杨红seok:
复合数据结构的形状分析。 178-192
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JhalaM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JhalaM07
兰吉特·贾拉,肯尼思·麦克米兰:
从证据中提取数组。 193-206
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BouajjaniFQ07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BoajjaniFQ07
艾哈迈德·布阿贾尼,塞维琳·弗拉塔尼,沙兹·卡迪尔:
具有动态链接结构的多线程程序的上下文分析。 207-220
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BogudlovLRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BogudlovLRS07
伊戈尔·博古德洛夫,塔尔·列夫·阿米,托马斯·W·代表,穆利·萨吉夫:
修订TVLA：使参数化形状分析具有竞争力。 221-225

第七部分：并发程序验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KahlonYSG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KahlonYSG07
维尼特·卡隆,于阳,斯里拉姆·桑卡拉纳拉亚南,阿尔蒂·古普塔:
并发程序的快速准确静态数据空间检测。 226-239
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChenR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChenR07
冯晨,格里戈·罗苏:
参数化和分段因果关系。 240-253
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PatinST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PatinST07网站
加尔·巴廷,米哈拉·西希雷亚努,泰西尔·图利:
Spade：多线程动态和递归程序的验证。 254-257

第八部分：反应式设计

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JobstmannGWB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JobstmannGWB07
芭芭拉·朱布斯曼,斯特凡·J·盖勒,马丁·威格霍费尔,罗德里克·布隆:
Anzu：属性合成工具。 258-262
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BloemCPRT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BloemCPRT07
罗德里克·布隆,罗伯托·卡瓦达,印戈药丸,马可·罗维里,安德烈·查尔兹夫:
RAT：需求形式化分析的工具。 263-267

第九部分：并行化

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EzekielLC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EzekielLC07
乔纳森·以西结,杰拉尔德·吕特根,吉安弗兰科·西亚多:
并行化符号状态空间生成器。 268-280
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarnatBS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarnatBS07
吉里·巴纳特,卢博斯·布里姆,帕维尔·西蒙塞克:
I/O高效接受周期检测。 281-293

第X部分：约束和决策

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrummayerB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrummayerB07
罗伯特·布鲁迈尔,阿明·比尔:
C32SAT：检查C表达式。 294-297
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarettT07网址
克拉克·W·巴雷特,塞萨尔·蒂内利:
CVC3。 298-302
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ManoliosSV07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ManoliosSV07
Manolios帕纳焦蒂斯,苏达珊·斯里尼瓦桑,达伦·弗隆:
BAT：位级分析工具。 303-306
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeckerDEK07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeckerDEK07网址
伯恩德·贝克尔,克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
LIRA：处理线性算术对整数和实数的约束。 307-310

第十一部分：概率验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KatoenKLW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KatoenKLW07
Joost-Pieter Katoen公司,丹尼尔·克林克,马丁·勒克,维雷娜·沃尔夫:
连续时间马尔可夫链的三值抽象。 311-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlfaroR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlfaroR07
卢卡·德·阿尔法罗,普里塔姆·罗伊:
马尔可夫决策过程的放大镜提取。 325-338
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MatsliahS07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MatsliahS07
Arie Matsliah公司,奥弗·斯特里赫曼:
基于随机密码构造的模型检验的欠近似。 339-351

第十二部分：抽象

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/WangYGI07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/WangYGI07网址
王超（Chao Wang）,资江杨,阿尔蒂·古普塔,弗兰乔·伊万西奇:
利用反例提高多面体可达性计算的精度。 352-365
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BabicH07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BabicH07网址
Domagoj Babic公司,艾伦·J·胡:
软件验证条件的结构抽象。 366-378
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/古尔瓦尼T07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GulwaniT07网址
苏米特·古尔瓦尼,阿什什·蒂瓦里:
用于分析堆操作低级软件的抽象域。 379-392
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Wahl07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Wahl07网址
托马斯·沃尔:
自适应对称性降低。 393-405

第十三次会议：假设保证推理

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KupfermanPV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KupfermanPV07网址
奥尔娜·库普夫曼,尼尔·皮特曼,莫舍·瓦尔迪:
从活泼到敏捷。 406-419
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuptaMF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuptaMF07
阿努巴夫·古普塔,肯尼思·麦克米兰,傅朝晖:
成分验证的自动假设生成。 420-432

第十四次会议：混合动力系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Segelken07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Segelken07网址
马克·塞格尔肯:
抽象和反例——指导结构欧米茄-离散线性混合模型的模型检验自动机。 433-448
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NahhalD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NahhalD07
塔里克·纳哈尔,陶当（Thao Dang）:
连续和混合系统的测试覆盖范围。 449-462
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PlakuKV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PlakuKV07
埃里昂·普拉库,利迪亚·卡夫拉基,莫舍·瓦尔迪:
混合系统：从验证到伪造。 463-476

第十五次会议：项目分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AmitRRSY07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AmitRRSY07网址
达芙娜·阿米特,诺姆·里内茨基,托马斯·W·代表,穆利·萨吉夫,埃兰·雅哈:
用于验证线性化的抽象比较。 477-490
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BallKS07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BallKS07网址
托马斯·鲍尔,奥尔娜·库普夫曼,穆利·萨吉夫:
抽象中的跳跃循环。 491-503
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeyerHT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeyerHT07
德克·拜尔,托马斯·汉津格,格雷戈里·泰奥多洛兹:
可配置软件验证：将模型检查和程序分析的融合具体化。 504-518

第十六次会议：SAT和决策程序

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GaneshD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GaneshD07
维杰·加内什,大卫·L·迪尔:
位向量和阵列的决策过程。 519-531
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiRST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiRST07
亚历山德罗·西马蒂,马可·罗维里,维克多·舒潘,斯特凡诺·托内塔:
时态逻辑可满足性的布尔抽象。 532-546
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BruttomesoCFGHNPS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BruttomesoCFGHNPS07
罗伯托·布鲁托梅索,亚历山德罗·西马蒂,安德斯·弗兰泽,阿尔贝托·格里乔,齐亚德·汉纳,亚历山大·纳达尔,阿米特·帕尔蒂,罗伯托·塞巴斯蒂亚尼:
用于硬工业验证问题的惰性分层SMT（$\mathcal{BV}$）解算器。 547-560

服务

管理网站设置

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