×
艾哈迈德·博阿贾尼（编辑）;魏恩根·钦（编辑）

用于验证和分析的自动化技术。2010年9月21日至24日，第八届国际研讨会，ATVA 2010，新加坡。诉讼程序。 （英语） Zbl 1196.68003号

计算机科学课堂讲稿6252.柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。xi，第404页。(2010).

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

本卷的文章将单独进行审查。之前的研讨会已经过审查（参见兹比尔1176.68012).
索引文章：
克里希南多·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。，无限词上的概率自动机：可判定性和不可判定性结果，1-16[兹比尔1305.68112]
伊戈尔·瓦卢凯维奇，合成：单词和痕迹，18-21[Zbl 1305.68116号]
阿尔马戈，沙乌尔；约拉姆·赫什菲尔德；奥尔纳·库普弗曼，在\（\omega\）-正则自动机中的及时性，22-36[Zbl 1305.68108号]
细辛，尤金；Dang，Thao；马勒，奥德；罗曼·泰斯特利耶，使用冗余约束进行细化，37-51[兹比尔1305.68117]
萨德克·本萨勒姆；马吕斯·博兹加；苏珊娜·格拉芙；Doron Peled；苏菲·昆顿，分布式系统基于知识的控制方法，52-66[Zbl 1305.68123号]
塞尔吉·博戈莫洛夫；科琳娜·米特罗欣；安德烈亚斯·波德尔斯基，为安全和稳定组合混合系统的可达性分析，67-81[Zbl 1305.68110号]
弗兰克·卡塞兹，离散事件和定时系统协同诊断的复杂性，82-96[Zbl 1305.68111号]
Dang，Duc-Hanh；Truong，Anh-Hoang；马丁·果戈拉，启用场景同步，97-111[Zbl 1305.68053号]
艾曼纽尔·菲利奥特；Jin、Nayiong；Jean-François拉斯金，LTL合成的合成算法，112-127[Zbl 1305.68118号]
卡罗·福里亚（Carlo A.Furia）。序列的决定因素是什么？，128-142 [Zbl 1305.68067号]
盖·爱德华·加拉斯；乔纳森·比林顿，关于封闭分叉连接网络稳态概率收敛性的研究，143-157[Zbl 1305.68124号]
吉勒·杰拉尔茨（Gilles Geerraerts）；加布里埃尔·卡里恩；勒加尔，特里斯坦；尼古拉斯·梅奎特（Nicolas Maquet）；Jean-Francois拉斯金，格值二元决策图，158-172[Zbl 1305.68068号]
克里斯蒂安·吉尔吉纳；克里斯蒂娜·大卫，异常及以上的规范逻辑，173-187[兹比尔1305.68056]
阿舒托什·古普塔；科内留·波皮亚（Corneliu Popeea）；安德烈·里巴尔琴科，并发程序控制抽象的非单调细化，188-202[Zbl 1305.68057号]
阿图尔·古普塔，基于类契约的类测试方法，203-217[Zbl 1305.68058号]
赫布雷托，弗雷德里克；斯里瓦特桑，B。，定时Büchi自动机的有效空中空置检查，218-232[兹比尔1305.68114]
阿列克谢·利西萨，可达性作为可导性，有限反模型和验证，233-244[Zbl 1305.68119号]
卡马尔·洛达亚；Sreejith，A.V。，LTL可以更简洁，245-258[Zbl 1305.68120号]
高田、吉崎；弘久世奇（Hiroyuki Seki），根据信息流规范自动生成基于历史的访问控制，259-275[Zbl 1305.68064号]
龙、腾；张文辉，证明同情离散系统活性的辅助构造，276-290[Zbl 1305.68121号]
路易斯·马里·特劳努埃兹（Louis-Marie Traonouez）；巴托斯·格拉比克（Bartosz Grabiec）；克劳德·贾德；莱姆，迪迪埃；奥利维尔·鲁克斯。，参数秒表Petri网的符号展开，291-305[Zbl 1305.68127号]
特里维迪（Trivedi）、阿舒托什（Ashutosh）；多米尼克·沃伊特扎克，递归时间自动机，306-324[兹比尔1305.68115]
Xu，Dana N。；格雷戈·戈斯勒（Gregor Gossler）；阿兰·吉拉尔，基于组件设计的概率合同，325-340[Zbl 1305.68122号]

引用于1审查

MSC公司：

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

引文：

Zbl 1176.68012号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Bouajjani｝（编辑）和\textit｛W.-N.Chin｝（编辑），用于验证和分析的自动化技术。2010年9月21日至24日，第八届国际研讨会，ATVA 2010，新加坡。诉讼程序。柏林：施普林格出版社（2010；Zbl 1196.68003）
全文： DOI程序