默认搜索操作

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

问别人

2002年第14届CAV：丹麦哥本哈根

>主页 >会议和研讨会 >腔静脉

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2002
埃德·布林克斯马,金·古德斯特兰·拉森:
计算机辅助验证，第14届国际会议，2002年CAV，丹麦哥本哈根，2002年7月27日至31日，会议记录。计算机科学课堂讲稿2404,施普林格 2002，国际标准图书编号3-540-43997-8

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Holzmann02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Holzmann02
杰拉德·J·霍尔兹曼:
软件分析和模型检查。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/张M02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ZhangM02
张林涛,莎拉·马利克:
寻求有效的布尔可满足性求解器。 17-36

邀请的教程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CousotC02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CousotC02
帕特里克·库索特,拉迪亚·库索特:
软件验证中的抽象。 37-56
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Henzinger02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Henzinger02
托马斯·汉津格:
混合系统的符号方法。 57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Thomas02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Thomas02
沃尔夫冈·托马斯:
无限游戏和验证（教程的扩展摘要）。 58-64

符号模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarnerGG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarnerGG02
白珊润,丹尼尔·盖斯特,安娜·格林加兹:
基于重构分层和回溯的符号定位简化。 65-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BryantLS02型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BryantLS02
兰达尔·布莱恩特,Shuvendu K.Lahiri公司,桑吉特·塞希亚:
使用带有Lambda表达式和未解释函数的计数器运算逻辑对系统进行建模和验证。 78-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarnerG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarnerG02
白珊润,奥尔娜·格伦伯格:
结合对称约简和欠近似进行符号模型检查。 93-106

抽象/精化和模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PnueliXZ02配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PnueliXZ02
阿米尔·普努利,Jessie Xu（杰西·许）,勒诺·D·扎克:
（0，1，infty）的生动性-反抽象。 107-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChatterjeeSG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChatterjeeSG02
普罗森吉特·查特吉,Hemanthkumar Sivaraj公司,加内什·戈帕拉克里什南:
针对弱内存模型的共享内存一致性协议验证：通过模型检查进行优化。 123-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GodefroidJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GodefroidJ02
帕特丽斯·戈德弗里德,拉德哈·贾加迪桑:
使用广义模型检查的自动抽象。 137-150

成分/结构验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BaumgartnerKA02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BaumgartnerKA02
杰森·鲍姆加特纳,安德烈亚斯·库尔曼,雅各布·A·亚伯拉罕:
通过结构分析进行属性检查。 151-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RajamaniR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RayamaniR02
斯里拉姆·拉贾马尼,雅各布·雷霍夫:
异步消息传递软件模型的一致性检查。 166-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FlanaganQS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FlanaganQS02
科马克·弗拉纳根,沙兹·卡迪尔,桑吉特·塞希亚:
多线程程序的模块化检查器。 180-194

时间安排分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/YonedaKM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/YonedaKM02
Tomohiro Yoneda公司,北井俊彦,克里斯·迈尔斯:
通过故障分析自动推导时间约束。 195-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/StrichmanSB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/StrichmanSB02
Ofer Strichman公司,桑吉特·塞希亚,兰德尔·E·布莱恩特:
用SAT确定分离公式。 209-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/YounesS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/YounesS02
哈坎·L.S.Younes,里德·西蒙斯:
使用接受抽样对离散事件系统进行概率验证。 223-235

基于SAT的方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettDS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarettDS02
克拉克·W·巴雷特,大卫·L·迪尔,亚伦·斯塔姆:
通过增量转换到SAT来检查一阶公式的可满足性。 236-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/McMillan02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/McMillan02
肯尼思·麦克米兰:
SAT方法在无边界符号模型检验中的应用。 250-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/克拉克GKS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ClarkeGKS02
埃德蒙·克拉克,阿努巴夫·古普塔,詹姆斯·库库拉,奥弗·斯特里赫曼:
基于SAT的抽象精炼——使用ILP和机器学习技术。 265-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BinghamH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BinghamH02
杰西·宾厄姆,艾伦·J·胡:
半形式有界模型检查。 280-294

符号模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoD02
马可·波扎诺,乔治·德尔扎诺:
基于失效协议的算法验证。 295-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/雅各比02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/雅各比02
克里斯蒂安·雅各比:
结合模型检验和理论证明对复杂无序管道进行形式化验证。 309-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChevalierV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChevalierV02
Yannick骑士,劳伦特·维格纳龙:
安全协议的自动无边界验证。 324-337

工具演示文稿

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlurMY02型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlurMY02
拉杰夫·阿鲁尔,迈克尔·麦克道格尔,资江杨:
利用行为层次结构进行有效的模型检查。 338-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozgaGM02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozgaGM02
马吕斯·博兹加,苏珊娜·格拉夫,劳伦特·穆尼尔:
IF-2.0：基于组件的实时系统的验证环境。 343-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArmandoBBCCMRTV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArmandoBBCMRTVV02
亚历山德罗·阿尔曼多,大卫·A·巴思,梅迪·布瓦拉古伊,Yannick骑士,卢卡·孔帕尼亚,塞巴斯蒂安·莫德谢姆,米夏·鲁西诺维奇,马修·图鲁阿尼,卢卡·维甘,劳伦特·维格纳龙:
AVISS安全协议分析工具。 349-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AsarinPSY02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AsarinPSY02
尤金细辛,戈登·J·佩斯,杰拉尔多·施奈德,塞尔吉奥·尤文:
SPeeDI——多边形混合系统的验证工具。 354-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiCGGPRST02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiCGGPRST02
亚历山德罗·西马蒂,埃德蒙·克拉克,恩里科·金奇利亚,福斯托·金奇利亚,马可·皮斯托尔,马可·罗维里,罗伯托·塞巴斯蒂亚尼,阿曼多·塔切拉:
NuSMV 2：用于符号模型检查的开源工具。 359-364
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AsarinDM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AsarinDM02
尤金细辛,陶当（Thao Dang）,奥德·马勒:
用于验证混合系统的d/dt工具。 365-370

无限状态模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KupfermanPV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KupfermanPV02
奥尔娜·库普夫曼,尼尔·皮特曼,莫舍·瓦尔迪:
前缀可识别系统的模型检查线性特性。 371-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RybinaV02型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RybinaV02
塔蒂亚娜·瑞比纳,安德烈·沃伦科夫:
使用解的正则表示来加速无限状态模型的检查。 386-400
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HartongHB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HartongHB02
沃尔特·哈东,拉尔斯·赫德里奇,埃里希·巴克:
非线性模拟系统的离散建模和模型检验。 401-413

成分/结构验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakrabartiAHM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakrabartiAHM02
阿林达姆·查克拉巴蒂,卢卡·德·阿尔法罗,托马斯·汉津格,弗雷迪·Y.C.芒:
同步和双向组件接口。 414-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakrabartiAHJM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakrabartiAHJM02
阿林达姆·查克拉巴蒂,卢卡·德·阿尔法罗,托马斯·汉津格,马金·尤金斯基（Marcin Jurdzinski）,弗雷迪·Y.C.芒:
软件模块的接口兼容性检查。 428-441
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ColonS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ColonS02
迈克尔·科隆,亨尼·西普玛:
证明程序终止的实用方法。 442-454

扩展模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TanC02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/TanC02
李坦,兰斯·克莱维兰:
基于证据的模型检查。 455-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CabodiNQ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CabodiNQ02
詹皮罗·卡波迪,塞尔吉奥·诺科,斯特凡诺·奎尔:
在基于引导优先BDD的验证中混合前向和后向遍历。 471-484
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PurandareS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PurandareS02
Mitra Purandare公司,法比奥·萨蒙齐:
真空清洁CTL配方。 485-499

工具演示文稿

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/StumpBD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/StumpBD02
亚伦·斯塔姆,克拉克·W·巴雷特,大卫·L·迪尔:
CVC：合作有效性检查器。 500-504
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChechikGD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChechikGD02
玛莎·契契克,阿里·古芬克尔,贝内特·德韦鲁:
chi-Chek：一个多值模型检查器。 505-509
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Ben-DavidGSW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Ben-DavidGSW02
Shoham Ben-David公司,安娜·格林加兹,巴鲁克·斯特林,亚伦·沃尔夫斯塔尔:
PathFinder：设计探索工具。 510-514
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/大坝HH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DamsHH02
丹尼斯·达姆斯,威廉·黑塞,杰拉德·J·霍尔兹曼:
用abC提取C。 515-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GrocePY02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GrocePY02
亚历克斯·格罗斯,多龙·A·贝利德,米哈利斯·扬纳卡基斯:
AMC：自适应模型检查器。 521-525

编码确认

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HenzingerJMNSW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HenzingerJMNSW02
托马斯·汉津格,兰吉特·贾拉,鲁帕克·马朱姆达尔,乔治·C·内库拉,格雷戈伊尔·苏特雷,维斯特利·威默尔:
系统代码的临时安全证明。 526-538

定期模型检查和加速

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BoajjaniT02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BoajjaniT02
艾哈迈德·布阿贾尼,泰西尔·图利:
外推树变换。 539-554
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AdullaJMd02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AdullaJMd02
帕罗什·阿齐兹·阿卜杜拉,本特·琼森,普丽塔·马哈塔,朱利安·德奥索:
常规树模型检查。 555-568
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KurshanLY02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KurshanLY02
罗伯特·P·库尔山,弗拉基米尔莱温,HüsnüYenigün先生:
压缩转换以进行模型检查。 569-581

模型简化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KhomenkoKV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KhomenkoKV02
维克托·科门科,库特尼,沃尔特·福格勒:
Petri网展开的规范前缀。 582-595
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BlomP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BlomP02
斯特凡·布洛姆,雅各布·范德波尔:
通过证明汇流减少状态空间。 596-609
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GurmurthyBS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GurmurthyBS02
桑卡·古鲁穆蒂,罗德里克·布隆,法比奥·萨蒙齐:
公平模拟最小化。 610-624

管理网站设置

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