×
弗朗西斯科·洛戈佐（编辑）;Doron A.Peled。（编辑）;Lenore D.扎克。（编辑）

验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 （英语） Zbl 1134.68006号

计算机科学课堂讲稿4905.柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。x、 325页。(2008).

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

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1131.68006号).
索引文章：
罗伯托·巴格纳拉；希尔，帕特里夏·M·。；埃纳州扎法内拉，整数八边形约束的改进紧闭包算法，8-21[Zbl 1138.68474号]
阿卜杜拉，帕罗什·阿齐兹；本·亨达（Ben Henda），努梅内（Noomene）；乔治·德尔扎诺；艾哈迈德·雷兹，处理具有非原子全局条件的参数化系统，22-36[Zbl 1138.68436号]
奥利维埃·布伊索（Olivier Bouissou）；马蒂厄·马特尔，嵌入式程序物理输入的抽象解释，37-51[Zbl 1138.68358号]
Cimatti，A。；Roveri，M。；V.舒潘。；Tchaltsev，A。，可实现性诊断信息，52-67[Zbl 1138.68442号]
维杰·D’Silva；米特拉·普兰达尔；丹尼尔·克罗宁，基于插值的模型检查的近似精化，68-82[Zbl 1138.68444号]
文森特·达诺斯；杰罗姆·费雷特；沃尔特·丰塔纳（Walter Fontana）；吉恩·克里文，细胞信号网络的抽象解释，83-97[Zbl 1138.68650号]
雷纳·迪米特洛娃；安德烈亚斯·波德尔斯基，惰性抽象是广播协议的决策过程吗？，98-111 [Zbl 1138.68445号]
哈拉尔德·费彻；哈，迈克尔，动作抽象的模型检查，112-126[Zbl 1138.68447号]
尤金·戈德伯格，关于桥接仿真和形式验证，127-141[兹比尔1138.68449]
亚历克斯·格罗斯（Alex Groce）；拉杰夫·乔希，通过动态分析扩展模型检查，142-156[Zbl 1138.68450号]
伊莎贝拉·马斯特罗埃尼，通过简化分区导出互模拟，157-171[Zbl 1138.68453号]
马里奥·梅恩德斯·洛霍；曼努埃尔五世（Manuel V.Hermenegildo）。，Java风格程序的精确集共享分析，172-187[Zbl 1138.68354号]
扬尼克·莫伊，模块断言检查的充分前提条件，188-202[兹比尔1138.68455]
阮，胡海；维克多·昆卡；魏恩根·钦，分离逻辑的运行时检查，203-217[Zbl 1138.68456号]
鲁齐卡皮斯卡；维克多·昆卡，具有基数约束的多集决策程序，218-232[Zbl 1138.68528号]
阿米尔·普努利；亚尼夫·萨阿尔，你所需要的只是同情，233-247[Zbl 1138.68457号]
弗朗西斯科·兰扎托；奥利维娅·罗西（Olivia Rossi Doria）；弗朗西斯科·塔帕罗，一种前向的抽象细化算法，248-262[Zbl 1138.68458号]
戴维·施密特（David A.Schmidt）。，抽象解释的内部和外部逻辑，263-278[Zbl 1138.68362号]
安德烈亚斯·莫根斯坦；克劳斯·施耐德，从LTL到符号表示的确定性自动机，279-293[Zbl 1138.68454号]
Sistla，A.Prasad；阿比尼亚·R·斯里尼瓦斯。，监测随机系统的时间特性，294-308[Zbl 1138.68470号]
索海尔（Sohail）、萨奇卜（Saqib）；法比奥·萨蒙齐；卡维塔·拉维，LTL游戏的混合算法，309-323[Zbl 1138.68459号]

引用于1审查
引用于2文件

MSC公司：

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

引文：

Zbl 1131.68006号
PDF格式BibTeX公司 XML格式引用
\textit{F.Logozzo}（编辑）等人，《验证、模型检查和抽象解释》。第九届国际会议，VMCAI 2008，美国旧金山，2008年1月7日至9日。诉讼程序。柏林：施普林格（2008年；Zbl 1134.68006）
全文： DOI程序