×
达姆，沃纳（编辑）;霍尔格·赫尔曼斯（编辑）

计算机辅助验证。第19届国际会议，CAV 2007，德国柏林，2007年7月3日至7日。诉讼程序。 （英语） Zbl 1119.68005号

计算机科学课堂讲稿4590.柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。xv，562页。(2007).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1114.68002号).
索引文章：
莱昂纳多·德·莫拉；布鲁诺·杜特雷；Natarajan Shankar，可满足性模理论教程，20-36[Zbl 1135.68563号]
Nishant Sinha；埃德蒙·克拉克，使用惰性学习进行基于SAT的成分验证，39-54[Zbl 1135.68483号]
科恩，阿里尔；南乔希，Kedar S。，全球安全特性的本地证明，55-67[Zbl 1135.68470号]
马勒，奥德；德扬·尼科维奇；阿米尔·普努利，关于根据有界响应特性合成控制器，95-107[Zbl 1135.68477号]
卢卡·德·阿尔法罗（Luca de Alfaro）；马可·费拉，一种用于计时游戏的三色奇偶游戏加速算法，108-120[Zbl 1135.68485号]
本格特·琼森；马扬克省萨克塞纳，定期模型检查中的系统加速度，131-144[Zbl 1135.68475号]
阿卜杜拉，帕罗什·阿齐兹；乔治·德尔扎诺；艾哈迈德·雷兹，全局条件下无限状态过程的参数化验证，145-157[Zbl 1135.68461号]
乔什·伯丁（Josh Berdine）；加尔卡尼奥、克里斯蒂亚诺；拜伦·库克；Distefano，恐龙；O'Hearn，Peter W。；Thomas Wies；杨红seok，复合数据结构的形状分析，178-192[Zbl 1135.68372号]
Jhala，Ranjit；肯尼思·麦克米兰。，证据的数组抽象，193-206[Zbl 1135.68474号]
艾哈迈德·博阿贾尼；塞维琳·弗拉塔尼；沙兹·卡迪尔，具有动态链接结构的多线程程序的上下文分析，207-220[兹比尔1135.68365]
Vineet Kahlon；杨瑜；桑卡拉纳拉亚南，斯里拉姆；阿尔蒂·古普塔，针对并发程序的快速准确的静态数据空间检测，226-239[Zbl 1135.68368号]
陈峰；格里高·罗什乌，参数和分段因果关系，240-253[Zbl 1135.68468号]
Joost-Pieter Katoen；丹尼尔·克林克（Daniel Klink）；Martin Leucker；维雷娜·沃尔夫，连续时间马氏链的三值抽象，311-324[Zbl 1135.68476号]
卢卡·德·阿尔法罗（Luca de Alfaro）；普里塔姆·罗伊，马尔可夫决策过程的放大镜抽象，325-338[Zbl 1135.68486号]
阿里·马茨利亚；斯特里赫曼（Ofer Strichman），基于随机密码构造的模型检查的欠近似，339-351[兹比尔1135.68478]
王超；杨紫江；阿蒂·古普塔；弗兰乔·伊万契奇，使用反例提高多面体可达性计算的精度，352-365[Zbl 1135.68370号]
Domagoj Babić；胡亚伦·J·。，软件验证条件的结构抽象，366-378[Zbl 1135.68463号]
苏米特·古尔瓦尼；阿什什·蒂瓦里，用于分析堆操作低级软件的抽象域，379-392[Zbl 1135.68366号]
托马斯·沃尔，自适应对称减少，393-405[Zbl 1135.68484号]
奥纳·库普夫曼；尼尔·皮特曼；莫舍·瓦尔迪。，从生动到迅速，406-419[Zbl 1135.03336号]
阿努巴夫·古普塔；McMillan，Kenneth L。；傅朝辉，自动生成假设以进行成分验证，420-432[Zbl 1135.68473号]
马克·塞格尔肯，用于阶跃线性混合模型模型检验的（ω）-自动机的抽象和反例指导构造，433-448[兹比尔1135.62]
纳哈尔、塔里克；Thao Dang先生，连续和混合系统的测试覆盖范围，449-462[Zbl 1135.68346号]
埃里昂·普拉库；利迪亚·卡夫拉基。；莫舍·瓦尔迪。《混合系统：从验证到伪造》，463-476[Zbl 1135.68479号]
阿米特，达芙娜；诺姆·里内茨基；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫，用于验证线性化能力的抽象比较，477-490[Zbl 1135.68462号]
托马斯·鲍尔（Thomas Ball）；奥纳·库普夫曼；穆利萨吉夫，在抽象的存在下跳跃循环，491-503[Zbl 1135.68465号]
德克·贝尔；托马斯·亨辛格（Thomas A.Henzinger）。；格雷戈里·塞奥多洛兹，可配置软件验证：具体化模型检查和程序分析的融合，504-518[Zbl 1135.68466号]
维杰·加内什；大卫·L·迪尔。，位向量和数组的判定过程，519-531[Zbl 1135.68472号]
亚历山德罗·西马蒂；马可·罗维里（Marco Roveri）；维克多·舒潘；斯特凡诺·托内塔，时态逻辑可满足性的布尔抽象，532-546[Zbl 1135.68469号]

引用于三评论
引用于10文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
60年第68季度 规范和验证（程序逻辑、模型检查等）
00时25分 杂项特定利益的会议记录

引文：

Zbl 1114.68002号
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}（编辑）和\textit{H.Hermanns}（编），计算机辅助验证。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（2007；Zbl 1119.68005）
全文： 内政部