默认搜索操作

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

问别人

2012年第24届CAV：美国加利福尼亚州伯克利

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2012
马杜苏丹,桑吉特·塞希亚:
计算机辅助验证-第24届国际会议，CAV 2012，伯克利，加利福尼亚州，美国，2012年7月7日至13日会议记录。计算机科学课堂讲稿7358,施普林格 2012，国际标准图书编号978-3-642-31423-0

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Tomas12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Thomas12
沃尔夫冈·托马斯:
合成及其一些挑战。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Dill12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Dill12
大卫·L·迪尔:
模型检查细胞生物学。 2

邀请的教程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/车身T12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BodikT12网站
拉斯蒂斯拉夫·博迪克,埃米娜·托拉克:
使用约束求解器合成程序。三
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Bradley12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Bradley12
亚伦·R·布拉德利:
IC3及更高版本：增量、感应验证。 4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Myers12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Myers12
克里斯·迈尔斯:
遗传电路的形式验证。 5
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Moskal12会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Moskal12
米查尔·莫斯卡尔:
从C到无限再到后面：用VCC进行无边界自动验证。 6

自动机与综合

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KretinskyE12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KretinskyE12
扬·克伦斯克,哈维尔·埃斯帕尔扎:
LTL的（F，G）-片段的确定自动机。 7-22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BraddilCKN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BraddilCKN12
托马斯·布拉兹迪尔,克里希南德·查特吉,安东·库塞拉,彼得·诺沃顿:
多资源类型消费博弈的高效控制器综合。 23-38
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Ehlers公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Ehlers12
吕迪格·埃勒斯:
ACTLíLTL合成。 39-54

归纳推理与终结

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChenW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChenW12
陈玉芳,王朝霞（Bow-Yaw Wang）:
增量学习布尔函数。 55-70
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SharmaNA12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SharmaNA12
拉胡尔·夏尔马,阿迪蒂亚·诺里,亚历克斯·艾肯:
作为分类器的插值。 71-87
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeeWY12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeeWY12
Wonchan Lee（李元昌）,王朝霞（Bow-Yaw Wang）,Kwangkeun Yi公司:
算法学习终止分析。 88-104
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrockschmidtMOG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrockschmidtMOG12
马克·布罗克施密特,理查德·穆索尔,卡斯滕·奥托,吉尔根·吉斯尔:
具有循环数据的Java程序的自动终止证明。 105-122
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EsparzaGK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EsparzaGK12
哈维尔·埃斯帕尔扎,安德烈亚斯·盖泽,斯特凡·基弗:
用模式证明概率程序的终止。 123-138

抽象

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Venet12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Venet12
阿诺·维尼特:
规范域：线性不等式不变量的可缩放分析。 139-154
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BerdineCIW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BerdineCIW12
乔什·伯丁,阿伦·考克斯,萨明·伊斯蒂亚克,克里斯托弗·温特斯泰格:
基于分离逻辑的分析的抽象故障诊断。 155-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TakurR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ThakurR12
阿迪蒂亚·塔库尔,托马斯·W·代表:
抽象运算的符号计算方法。 174-192
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RolliniSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RolliniSS12
西蒙·富尔维奥·罗里尼,昂德雷·塞里,娜塔莎·沙里吉娜:
在模型检查中利用插值强度。 193-209

并发和软件验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AtigBEL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AtigBEL12
穆罕默德·法乌齐·阿提格,艾哈迈德·布阿贾尼,迈克尔·埃米,阿卡什·拉尔:
检测多线程程序中的公平非终止。 210-226
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KahlonW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KahlonW12
维尼特·卡隆,王超（Chao Wang）:
并发跟踪程序的锁删除。 227-242
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SchellhornWD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SchellhornWD12
格哈德·谢尔霍恩,海克·韦尔海姆,约翰·德里克:
如何证明算法线性化。 243-259
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/哈格12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HagueL12
马修·黑格,安东尼·威贾贾·林:
带计数器的多线程程序的同步和反向有界分析。 260-276
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiG12
亚历山德罗·西马蒂,阿尔贝托·格里乔:
通过IC3进行软件模型检查。 277-293

生物学和概率系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuetGHMS12会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuetGHMS12
Calin C.Guet公司,阿舒托什·古普塔,托马斯·汉津格,玛丽亚·马特埃斯库,阿里·塞兹金:
遗传调控电路的延迟连续时间马尔可夫链。 294-309
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Komuravelli PC12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KomuravelliPC12
安维什·科穆拉维利,科琳娜·帕萨雷努,埃德蒙·克拉克:
概率系统的假设保证抽象精化。 310-326
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JegurelLS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JegurelLS12
西里尔·杰古尔,Axel Legay公司,肖恩·塞德瓦兹:
统计模型检验中重要抽样参数的交叉熵优化。 327-342

嵌入式和控制系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ZutshiST12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ZutshiST12
阿迪蒂亚·祖奇,斯里拉姆·桑卡拉纳拉亚南,阿什什·蒂瓦里:
采样数据控制系统的时间关系抽象。 343-361
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MayumdarZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MayumdarZ12
鲁帕克·马朱姆达尔,马吉德·扎马尼:
数字控制系统的近似双相似符号模型。 362-377
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiCLNRRST12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiCLNRRST12
亚历山德罗·西马蒂,拉斐尔·科尔维诺,阿曼多·拉扎罗,伊曼·纳拉萨姆迪亚,蒂齐亚娜·里佐,马可·罗维里,安吉拉·桑塞韦罗,安德烈·查尔兹夫:
ERTMS工业铁路列车间隔系统的正式验证和确认。 378-393

SAT/SMT求解和基于SMT的验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DilligDMA12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DilligDMA12网址
伊西尔·迪利格,托马斯·迪利格,肯尼思·麦克米兰,亚历克斯·艾肯:
SMT的最低满意分配。 394-409
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HanJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HanJ12
程申汉,杰洪·罗兰·蒋:
布尔可满足性满足单纯形高斯消去。 410-426
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LalQL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LalQL12
阿卡什·拉尔,沙兹·卡迪尔,Shuvendu K.Lahiri公司:
可达模理论的求解器。 427-443

定时和混合系统

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuhaNA12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuhaNA12
什巴希斯·古哈,钦梅·纳拉扬,S.Arun-Kumar公司:
时间自动机预互模拟的可判定性。 444-461
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HasuoS12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HasuoS12
哈朔一郎,Kohei Suenaga公司:
混合系统非标准静态分析练习。 462-478
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BogomolovFGLPW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BogomolovFGLPW12
塞尔吉·博戈莫洛夫,戈兰·弗雷斯,拉杜·格罗苏,哈米德·拉丹,安德烈亚斯·波德尔斯基,韦尔勒:
用于指导SpaceEx可达性分析的基于盒子的区域间距离。 479-494

硬件验证

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Mador-HaimMSMAOAMSW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Mador-HaimMSMAOAMSW12
塞拉·马多尔·海姆,吕克·马兰杰,苏斯米特·萨卡尔,凯文·梅马里安,翡翠阿尔加莱,斯科特·欧文斯,拉杰夫·阿鲁尔,米洛·M·K·马丁,彼得·苏厄尔,德里克·威廉姆斯:
POWER多处理器的公理存储模型。 495-512
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PaulaHN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PaulaHN12
弗拉维奥·德·保拉,艾伦·J·胡,阿米尔·纳希尔:
nuTAB BackSpace:重写以规范后硅调试跟踪中的非确定性。 513-531
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HassanBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HassanBS12
兹亚德·哈桑,亚伦·R·布拉德利,法比奥·萨蒙齐:
增量、感应式CTL模型检查。 532-547

安全

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/弗雷德里克森JJRPSY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FredriksonJJRPSY12
马修·弗雷德里克森,理查德·乔纳,萨默什·贾,托马斯·W·代表,菲利普·波拉斯,哈森·萨伊迪,Vinod Yegneswaran公司:
使用反示例引导的抽象优化实现高效的运行时策略实施。 548-563
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KopfMO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KopfMO12
鲍里斯·科普夫,劳伦特·毛博涅,马丁·奥乔亚:
缓存侧通道的自动量化。 564-580
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HarrisJR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HarrisJR12
威廉·哈里斯,萨默什·贾,托马斯·W·代表:
通过可视下推安全游戏实现安全编程。 581-598

验证和合成

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinhaSCS12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinhaSCS12
Nishant Sinha公司,尼米特·辛哈尼亚,萨蒂什·钱德拉,马努·斯里德哈兰:
交替学习：寻找目击者而不需要到处查看。 599-615
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChuJ12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChuJ12
朱棣文公爵,佐克森·贾法尔:
安全验证中对称性减少的完整方法。 616-633
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinghG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinghG12
里沙布·辛格,苏米特·古尔瓦尼:
从输入输出示例合成数字变换。 634-651

工具演示文件

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BohyBFJR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BohyBFJR12
亚伦·波西,布鲁埃Véronique,艾曼纽尔·菲利奥特,奈永金（Naiyong Jin）,Jean-François Raskin女士:
Acacia+，LTL合成工具。 652-657
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChengGRBK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChengGRBK12
Chih-Hong Cheng先生,迈克尔·盖辛格,哈拉尔德·罗斯,克里斯蒂安·巴克尔,阿洛伊斯·克诺尔:
MGSyn：工业自动化的自动合成。 658-664
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DriscollTR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DriscollTR12
埃文·德里斯科尔,阿迪蒂亚·塔库尔,托马斯·W·代表:
OpenNWA：一个嵌套的Word自动机库。 665-671
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlbarghouthiLGC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlbarghouthiLGC12
奥斯·阿尔巴古蒂,李毅,阿里·古芬克尔,玛莎·契契克:
Ufo：基于抽象和插值的软件验证框架。 672-678
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AbertiBGRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AbertiBGRS12
弗朗西斯科·阿尔贝蒂,罗伯托·布鲁托梅索,西尔维奥·吉拉尔迪,西尔维奥·兰伊斯,娜塔莎·莎莉吉娜:
SAFARI：基于SMT的插值数组抽象。 679-685
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BenqueBCCFIPTV第12版
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BenqueBCCFIPTV12
大卫·本奎,萨姆·波顿,凯特林·科克顿,拜伦·库克,贾斯敏·费舍尔,萨明·伊什蒂亚克,尼尔·皮特曼,亚历克斯·S·泰勒,莫舍·瓦尔迪:
Bma：用于建模和分析生物网络的可视化工具。 686-692
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KieferMOWW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KieferMOWW12
斯特凡·基弗,安德烈·穆拉夫斯基,Joël Ouaknine公司,比约恩·瓦赫特,詹姆斯·沃雷尔:
APEX：开放概率程序分析器。 693-698
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArmstrongGLOPRW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArmstrongGLOPRW12
菲利普·阿姆斯特朗,迈克尔·戈德史密斯,加文·洛,Joël Ouaknine公司,克里斯蒂娜·帕利卡列娃,A.W.罗斯科,詹姆斯·沃雷尔:
FDR的最新发展。 699-704
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SongSLD12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SongSLD12
宋正松,孙军（Jun Sun）,杨柳,金松洞:
分层概率实时系统的模型检查器。 705-711
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LahiriHKR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LahiriHKR12
Shuvendu K.拉希里,克里斯·霍布利泽尔,川口明,亨利克·雷贝洛:
SYMDIFF：一种面向强制程序的语言认知语义差异工具。 712-717
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ConchonGKMZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ConchonGKMZ12
Sylvain Conchon公司,阿米特·戈尔,萨瓦·克里斯蒂,阿兰·梅布苏特,法提哈·扎伊迪:
隔间：参数化系统的基于并行SMT的模型检查器-工具文件。 718-724
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Tiwari12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Tiwari12网址
阿什什·蒂瓦里:
HybridSAL关系抽象器。 725-731
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChaudhuriS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Chaudhuri网站12
斯瓦拉特·乔杜里,阿曼多·索拉勒扎马:
欧拉：程序数值优化系统。 732-737
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinghS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinghS12
里沙布·辛格,Armando Solar Lezama公司:
SPT：故事板编程工具。 738-743
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RondonBKJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RondonBKJ12
帕特里克·马克西姆·朗登,亚历山大·巴克斯特,明川口,兰吉特·贾拉:
C解决方案：使用液体类型验证C。 744-750
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Schwartz-NarbonneLAM12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Schwartz-NarbonneLAM12
丹尼尔·施瓦茨·纳博恩,刘峰（音）,戴维·奥古斯特,莎拉·马利克:
passter：调试并行程序的工具。 751-757
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JaffarMNS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JaffarMNS12
佐克森·贾法尔,维贾亚拉加万·穆拉利,豪尔赫·纳瓦斯,安德鲁·E·桑托萨:
TRACER：用于验证的符号执行工具。 758-766
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArltS12型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArltS12
斯蒂芬·阿尔特,马丁·施瓦夫:
Joogie：Java的不可行代码检测。 767-773
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HopkinsMO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HopkinsMO12
戴维·霍普金斯,安德烈·穆拉夫斯基,C.-H.卢克·翁:
赫克托：ML高阶片段的等价性检查器。 774-780
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0002AH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/0002AH12
扬·霍夫曼,克劳斯·埃利格,马丁·霍夫曼:
资源感知ML。 781-786

管理网站设置

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