苏珊娜·格拉芙（编辑）；张文辉（编辑） 用于验证和分析的自动化技术。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。 （英语） Zbl 1137.68008号 计算机科学课堂讲稿4218.柏林：施普林格出版社（ISBN 978-3-540-47237-7/pbk）。xiv，第540页。(2006). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查（参见Zbl 1089.68013号).索引文章：米哈利斯·亚纳卡基斯，递归概率模型分析，1-5[Zbl 1161.68593号]阿拉斯泰尔·唐纳森。；爱丽丝·米勒，使用通用代表进行概率模型检查的对称性简化，9-23[Zbl 1161.68564号]阿卜杜拉，帕罗什·阿齐兹；本·亨达（Ben Henda），努梅内（Noomene）；Richard迈尔；斯文·桑德伯格，Eager Markov链，24-38[Zbl 1161.68466号]何飞；宋晓宇；顾明；孙家光，用于反例引导抽象求精的概率学习方法，39-50[Zbl 1161.68722号]钟明英；Gianfranco Ciardo；于安迪·金青，一种用于符号可达性分析的细粒度全引导链启发式算法，51-66[Zbl 1161.68561号]Xiung，Pao-Ann；林尚伟；Chen，Yean-Ru；黄春霞；叶嘉仁；孙红玉；林朝生；廖小文，带紧急情况的模型检查定时系统，67-81[Zbl 1161.68570号]王超；杨紫江；伊万契奇，弗兰乔；阿尔蒂·古普塔，Whodunit？反例的因果分析，82-95[Zbl 1161.68588号]萨尔瓦多拉托雷；那不勒斯，玛格丽塔；帕伦特，米姆，关于可视下推语言的成员问题，96-109[Zbl 1161.68544号]奥纳·库普夫曼；罗比·兰伯特，关于安全属性的精细自动机的构造，110-124[Zbl 1161.68572号]本杰明·阿米诺夫；奥尔纳·库普弗曼，关于不确定性的简洁性，125-140[Zbl 1161.68508号]德jvuth的Suwimonteerabbth；斯特凡·施温（Stefan Schwoon）；哈维尔·埃斯帕尔扎，交替下推系统的高效算法及其在证书链计算中的应用，141-153[兹比尔1161.68495]谢飞；杨国武；宋晓宇，软硬件协同验证的合成推理，154-169[Zbl 1161.68591号]Nam、Wonhong；拉杰夫·阿鲁尔，基于学习的自动分解符号假设保证推理，170-185[Zbl 1161.68578号]王，弯腰，关于模运算公式的可满足性，186-199[Zbl 1161.68496号]马尔特·赫尔默特；罗伯特·马特米勒（Robert Mattmüller）；斯文·舍韦，解决弱游戏的选择性方法，200-214[Zbl 1161.68569号]蒂埃里·卡查特，控制器综合与序数自动机，215-228[兹比尔1161.68516]友内达（Yoneda，Tomohiro）；克里斯·迈尔斯（Chris J.Myers）。，基于分解的定时电路合成中定时STG的有效收缩，229-244[Zbl 1161.68633号]斯文·舍韦，概率环境综合，245-259[Zbl 1161.68582号]黄金凤；马克·盖伦（Marc Geilen）；杰罗·沃顿（Jeroen Voeten）；下士，亨克，实时系统之间的分支时间属性保护，260-275[Zbl 1161.68571号]沃纳·达姆；斯蒂芬·迪什（Stefan Disch）；Hungar，哈迪；Pang，Jun；佛罗里达州Pigorsch；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨，具有大离散状态空间的混合系统的自动验证，276-291[Zbl 1161.68562号]Patricia Bouyer；谢尔盖·哈达德；皮埃尔·阿莱·雷尼尔，时间自动机网络的时间展开，292-306[兹比尔1161.68614]Frank Cassez；托马斯·查坦（Thomas Chatain）；克洛德·贾德，时间自动机网络的符号展开，307-321[Zbl 1161.68615号]哈拉尔德·费彻；哈，迈克尔，分支时间的排名谓词抽象：完全、增量和精确，322-336[Zbl 1161.68566号]Houda Bel的Mokadem；贝拉德，贝特里奇；Patricia Bouyer；弗朗索瓦·拉鲁西尼，提取瞬态的时间时序逻辑，337-351[Zbl 1161.68576号]夏松涛；迪维托，本；塞萨尔·穆尼奥斯，非线性计算程序的谓词抽象，352-368[兹比尔1161.68590]巴蒂亚，普尼特；保罗·加斯丁（Paul Gastin）；马达瓦恩·穆昆德，重新审视异步通信测试，369-383[Zbl 1161.68349号]Dharmadeep，M.C。；戈皮纳特，K。，异步共享内存系统中的主动领导者选举，384-398[Zbl 1161.68320号]劳拉·布兰丹（Laura Brandán Briones）；Brinksma，Ed；玛丽·斯托琳加，测试覆盖的语义框架，399-414[Zbl 1161.68350号]乔治·德尔扎诺；哈维尔·埃斯帕尔扎；吉·斯尔巴，单调集扩展前缀重写和递归乒乓协议验证，415-429[Zbl 1161.68617号]张，叶；尼尔森、汉内·里斯，分析分层网络中的安全协议，430-445[Zbl 1161.68324号]科林·菲奇（Colin Fidge）；田玉竹，网络控制系统实时协议的功能分析，446-460[Zbl 1161.68321号]费尔南多·罗莎·维拉尔多；戴维·德·弗鲁托斯·埃斯克里格，用于验证移动Petri网安全属性的符号语义，461-476[Zbl 1161.68628号]拉尔夫·威默（Ralf Wimmer）；马克·赫伯斯特里特；赫尔曼斯，霍尔格；凯利·斯特兰普；贝恩德·贝克尔，SIGREF–符号交互模拟工具箱，477-492[Zbl 1161.68631号]Demri，S。；芬克尔，A。；V.戈兰科。；范·德里姆伦（G.van Drimmelen）。《走向计数器系统的模型检查器》，493-507[Zbl 1161.68563号]彼得·尼伯特（Peter Niebert）；曲洪阳，在POEM中实现Mazurkiewicz跟踪，508-522[Zbl 1161.68579号]苏航；格雷厄姆·海明威；陈凯；古·T·约翰，用于嵌入式系统自动分析的基于模型的工具库基础设施，523-537[Zbl 1161.68585号] 引用于2评论 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1089.68013号 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}（编辑）和\textit{W.Zhang}（主编），验证和分析自动化技术。2006年10月23日至26日，第四届国际研讨会，ATVA 2006，中国北京。诉讼程序。柏林：施普林格出版社（2006；Zbl 1137.68008） 全文： 内政部