默认搜索操作

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

问别人

2011年第23届CAV：雪鸟，犹他州，美国

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2011年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2011
加内什·戈帕拉克里什南,沙兹·卡迪尔:
2011年7月14日至20日，美国犹他州雪鸟，2011年CAV第23届国际会议，计算机辅助验证。诉讼程序。计算机科学课堂讲稿6806,施普林格 2011，国际标准图书编号978-3-642-22109-5
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GaneshKAGHE11号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GaneshKAGHE11
维杰·加内什,亚当·基赞,谢·阿尔茨,菲利普·J·郭,彼得·胡伊梅耶尔,迈克尔·D·恩斯特:
HAMPI：用于测试、分析和漏洞检测的字符串解算器。 1-19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Jhala11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Jhala11
兰吉特·贾拉:
使用类型进行软件验证。 20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Lahiri11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Lahiri11
Shuvendu K.Lahiri公司:
基于SMT的序列系统代码模块化分析。 21-27
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Platzer11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Platzer11
安德烈·普拉泽:
混合系统的逻辑和组成验证-（受邀教程）。 28-43
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SinghalA11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SinghalA11
维吉安·辛哈尔,Prashant Aggarwal公司:
使用覆盖率在仿真世界中部署形式验证。 44-49
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlgraveM11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlgalaveM11
翡翠阿尔加莱,吕克·马兰杰:
弱记忆模型的稳定性。 50-66
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlkassarBMR11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlkassarBMR11网站
埃亚德·阿尔卡萨,萨沙·伯姆,库尔特·梅尔霍恩,克里斯汀·里兹卡拉:
验证验证计算。 67-82
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/安德烈琴科MSW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AndreychenkoMSW11
亚历山大·安德烈琴科,利纳尔·米基耶夫,大卫·斯皮尔,维雷娜·沃尔夫:
生化反应马尔可夫模型的参数识别。 83-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AtigBP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AtigBP11
穆罕默德·法乌齐·阿提格,艾哈迈德·布阿贾尼,Gennaro Parlato公司:
在TSO分析中摆脱存储缓冲区。 99-115
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BabicRS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BabicRS11
Domagoj Babic公司,丹尼尔·雷纳德,黎明之歌:
利用树自动机推理进行恶意软件分析。 116-131
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BaeM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaeM11
Kyungmin Bae公司,何塞·梅塞盖尔:
参数广义公平下基于状态/事件的LTL模型检验。 132-148
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BalabanovJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BalabanovJ11
瓦列里·巴拉巴诺夫,蒋介洪:
QBF评估和应用中的分辨率证明和Skolem函数。 149-164
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BardinHLLTV11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BardinHLLTV11
塞巴斯蒂安·巴丁,菲利普·赫尔曼,杰罗姆·勒鲁,奥利维尔·李,雷诺·塔巴里,艾默尔·文森特:
二进制代码分析的BINCOA框架。 165-170
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettCDHJKRT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarettCDHJKRT11
克拉克·W·巴雷特,克里斯托弗·康威,Morgan Deters公司,莉安娜·哈达伦,德扬·约万诺维奇,蒂姆·金,安德鲁·雷诺兹,塞萨尔·蒂内利:
CVC4。 171-177
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BerdineCI11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrdineCI11
乔什·伯丁,拜伦·库克,萨明·伊斯蒂亚克:
SLAyer：系统级代码的内存安全。 178-183
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeyerK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeyerK11
德克·贝尔,M.Erkan Keremoglu先生:
CPAchecker：可配置软件验证工具。 184-190
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrauerKK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrauerKK11
约格·布劳尔,安迪·金,杰尔·克里纳:
作为增量SAT的存在量化。 191-207
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BrazdilKK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BraddilKK11
托马斯·布拉兹迪尔,斯特凡·基弗,安东·库塞拉:
具有无界计数器的概率程序的有效分析。 208-224
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BuchholzHHZ11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BuchholzHHZ11
彼得·布赫霍尔茨,恩斯特·莫里茨·哈恩,霍尔格·赫尔曼斯,张丽君:
CTMDP的模型检查算法。 225-242
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CernyCHRS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CernyCHRS11
帕沃尔·塞恩,克里希南德·查特吉,托马斯·汉津格,阿琼·拉德哈克里什纳,罗希特·辛格:
并发程序的定量综合。 243-259
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeHJS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeHJS11
克里希南德·查特吉,莫妮卡·亨津格,玛纳斯·乔格勒卡,尼萨格·沙阿:
具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 260-276
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChaudhuriS11号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Chaudhuri网站11
斯瓦拉特·乔杜里,阿曼多·索拉勒扎马:
稳妥稳妥地平滑程序。 277-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChinGVLCQ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChinGVLCQ11
魏恩甘钦,克里斯蒂安·吉尔吉纳,Razvan Voicu公司,广乐路,弗洛林·克雷西恩（Florin Craciun）,秦胜超:
删减析取谓词以支持验证的专业化演算。 293-309
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiGMNR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiGMNR11
亚历山德罗·西马蒂,阿尔贝托·格里乔,安德烈亚·米其利,伊曼·纳拉萨姆迪亚,马可·罗维里:
Kratos-SystemC的软件模型检查器。 310-316
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiMT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiMT11
亚历山德罗·西马蒂,塞尔吉奥·莫弗,斯特凡诺·托内塔:
混合自动机的有效场景验证。 317-332
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CookKV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CookKV11
拜伦·库克,埃里克·科斯基宁,莫舍·瓦尔迪:
作为程序分析任务的时间属性验证。 333-348
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DavidLLMW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DavidLLMW11
亚历山大·戴维,金·拉森,Axel Legay公司,马吕斯·米库西奥尼斯,郑旺（音）:
实时系统的统计模型检查时间。 349-355
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DnaldsonKKW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DonaldsonKKW11
阿拉斯泰尔·唐纳森,亚历山大·凯撒,丹尼尔·克罗宁,托马斯·沃尔:
共享变量并发程序的对称感知谓词抽象。 356-371
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DudkaPV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DudkaPV11
卡米尔·杜德卡,彼得·佩林格,托马斯·沃伊纳:
Predator：使用分离逻辑检查动态数据结构操作的实用工具。 372-378
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FrehseGDCRLRGDM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FrehseGDCRLRGDM11
戈兰·弗雷斯,科尔斯·勒格尔尼奇,亚历山大·唐泽,斯科特·科顿,拉贾什·雷,奥利维尔·勒贝特尔,鲁道夫·里帕多,安托万·吉拉德,陶当（Thao Dang）,奥德·马勒:
SpaceEx：混合系统的可扩展验证。 379-395
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GrosuBFGGSB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GrosuBFGGSB11
拉杜·格罗苏,格雷戈里·巴特,弗拉维奥·芬顿,詹姆斯·格利姆,科尔斯·勒格尔尼奇,斯科特·斯莫尔卡,埃齐奥·巴托西:
从心脏细胞到遗传调控网络。 396-411
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuptaPR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuptaPR11
阿舒托什·古普塔,科内留·波皮亚,安德烈·里巴尔琴科:
线程：多线程程序的基于约束的验证程序。 412-417
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GveroKP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GveroKP11
蒂霍米尔·格维罗,维克托·昆卡,鲁齐卡·皮斯卡:
代码段的交互式合成。 418-423
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HabermehlHRSV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HabermehlHRSV11
彼得·哈贝梅尔,卢卡斯·霍利克,亚当·罗加列维奇,杰里·西马切克,托马斯·沃伊纳:
堆操作验证的森林自动机。 424-440
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HangMP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HangMP11
克里斯汀·亨,Manolios帕纳焦蒂斯,Papavasileiou血管杆菌:
综合具有实时约束的网络物理体系结构模型。 441-456
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HoderBM11飞机
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HoderBM11网址
克里斯托夫·霍德,尼古拉·比约纳,莱昂纳多·门东萨·德莫拉:
μZ-具有约束的固定点的高效引擎。 457-462
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/布鲁姆利JAS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BrumleyJAS11网站
大卫·布伦利,伊万·贾格尔,塔纳西斯·阿夫吉里诺斯,爱德华·施瓦茨:
BAP：二进制分析平台。 463-469
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JhalaMR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JhalaMR11
兰吉特·贾拉,鲁帕克·马朱姆达尔,安德烈·里巴尔琴科:
HMC：使用抽象解释器验证函数程序。 470-485
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JohnC11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JohnC11
Ajith K.约翰,Supratik Chakraborty公司:
线性模方程和差分方程的量词消除算法。 486-503
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JoseM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JoseM11
马努·何塞,鲁帕克·马朱姆达尔:
Bug-Assist：协助ANSI-C程序中的故障定位。 504-509
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KatzPS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KatzPS11
加尔·卡茨,多龙·A·贝利德,斯文·舍韦:
通过知识积累实现分布式控制的综合。 510-525
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KieferMOWW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KieferMOWW11
斯特凡·基弗,安德烈·穆拉夫斯基,乔尔·瓦克宁,比约恩·瓦赫特,詹姆斯·沃雷尔:
概率自动机的语言等价性。 526-540
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KleinN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KleinN11
乌里·克莱因,Kedar S.Namjoshi公司:
RESTful行为的形式化和自动验证。 541-556
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KroeningOSWW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KroeningOSWW11
丹尼尔·克罗宁,乔尔·瓦克宁,奥弗·斯特里赫曼,托马斯·沃尔,詹姆斯·沃雷尔:
有界模型检查的线性完整性阈值。 557-572
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KroeningW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KroeningW11
丹尼尔·克罗宁,乔治·魏森巴赫:
使用金刚狼进行基于国际刑警组织的软件验证。 573-578
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KuglerPR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KuglerPR11
希勒尔·库格勒,科里·普洛克,安迪·罗伯茨:
综合生物学理论。 579-584
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KwiatkowskaNP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KwiatkowskaNP11
Marta Z.Kwiatkowska公司,格钦·诺曼,大卫·帕克:
PRISM 4.0：概率实时系统验证。 585-591
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LeeYP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LeeYP11
Oukseh Lee先生,杨红seok,拉斯穆斯·彼得森:
重叠数据结构的程序分析。 592-608
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LiGR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LiGR11
李国栋,Indradeep Ghosh公司,Sreeranga P.Rajan公司:
KLOVER：C++程序的符号执行和自动测试生成工具。 609-615
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MorbePS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MorbePS11
乔治·莫贝,弗洛里安·皮戈什,克里斯托夫·斯科尔:
时间自动机的完全符号模型检查。 616-632
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Muller第11页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MullerP11
克里斯蒂安·米勒,沃尔夫冈·保罗:
完成FlexRay类总线接口的正式硬件验证。 633-648
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PeterEM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PeterEM11
汉斯·约格·彼得,吕迪格·埃勒斯,罗伯特·马特米勒:
Synthia：时间自动机的验证与合成。 649-655
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/相位TTC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PhamTTC11网址
团结Pham,闽泰Trinh,Anh-Hoang Truong公司,魏恩甘钦:
FixBag：用于量化行李约束的定点计算器。 656-662
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RamanK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RamanK11
瓦苏马提·拉曼,哈达斯·克雷斯·加济特:
使用LTLMoP分析高层机器人行为的不可合成规范。 663-668
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RamosE11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RamosE11
大卫·拉莫斯,道森·R·恩格尔:
真实代码的实用、低工作量等效验证。 669-685
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SankaranarayananT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SankaranarayananT11
斯里拉姆·桑卡拉纳拉亚南,阿什什·蒂瓦里:
连续和混合系统的关系抽象。 686-702
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SharmaDDA11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SharmaDDA11
拉胡尔·夏尔马,伊西尔·迪利格,托马斯·迪利格,亚历克斯·艾肯:
使用拆分谓词简化循环不变量生成。 703-719
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SistlaZF11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SistlaZF11
A.普拉萨德·西斯特拉,米洛斯·泽弗兰,姚峰:
随机动力系统的可监控性。 720-736
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SteppTL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SteppTL11
迈克尔·斯特普,罗斯·泰特,索林·勒纳:
LLVM的基于Equality-Based Translation Validator。 737-742
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HagueL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HagueL11网址
马修·黑格,安东尼·威贾贾·林:
具有数字数据类型的模型检查递归程序。 743-759

管理网站设置

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