×
兰吉特·贾拉（编辑）;戴维·施密特（编辑）

验证、模型检查和抽象解释。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。 （英文） Zbl 1206.68013号

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

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

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1178.68003号).
索引文章：
伯恩哈德·斯特芬；鲁兴，奥利弗，质量工程：利用异构信息（受邀演讲），23-37[兹伯利1317.68036]
艾尔维拉·阿尔伯特；萨米尔·根奈姆；阿布·纳赛尔·马苏德，更精确但适用范围更广的成本分析，38-53[Zbl 1317.68027号]
塞巴斯蒂安·巴丁；赫尔曼，菲利普；弗兰克·维德琳，根据非结构化程序进行基于细化的CFG重建，54-69[Zbl 1317.68028号]
亚伦·R·布拉德利。，基于SAT的模型检查，无需展开，70-87[Zbl 1317.68109号]
安吉洛·布里洛特（Angelo Brillout）；Daniel Kroening；Rümmer，Philipp；托马斯·沃尔，超越Presburger算法扩展中的无量词插值，88-102[Zbl 1318.03045号]
罗希特·查达；Sistla，A.Prasad；马赫什·维斯瓦纳坦，具有非震颤接受阈值的概率Büchi自动机，103-117[Zbl 1317.68091号]
Cheng，Chih-Hong；哈拉尔德街；阿洛伊斯·诺尔；克里斯蒂安·巴克尔，《使用游戏合成容错嵌入式系统：从理论到实践》，118-133[Zbl 1317.68130号]
库克，拜伦；贾斯敏·费希尔（Jasmin Fisher）；克雷普斯卡，埃尔兹别塔；尼尔·皮特曼，证明生物系统的稳定性，134-149[2014年9月13日]
帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐，间歇断言的前提推理和托收合同的应用，150-168[Zbl 1317.68030号]
阿拉斯泰尔·唐纳森。；哈勒，利奥波德；丹尼尔·克罗宁，通过轻量级静态分析加强基于导入的比赛检查，169-183[Zbl 1317.68113号]
罗伯特·弗罗哈特（Robert Frohardt）；Chang，Bor-Yuh Evan；桑卡拉纳拉亚南，斯里拉姆，接入网：对物理空间的接入进行建模，184-198[Zbl 1317.68114号]
托马斯·马丁（Thomas Martin），高利察（Gawlitza）；彼得·拉姆米奇；穆勒·奥尔姆，马库斯；塞德尔，赫尔穆特；亚历山大·温纳，动态进程创建并发程序的联合锁敏感前向可达性分析，199-213[Zbl 1317.68031号]
亚历山大·戈特马诺夫（Alexander Gotmanov）；查特吉，萨特拉吉特；迈克尔·基希内夫斯基，验证通信结构的死锁自由，214-231[Zbl 1317.68115号]
埃里克·古鲍特（Eric Goubault）；Sylvie推杆，有限精度计算的静态分析，232-247[Zbl 1317.68116号]
Pieter Hooimeijer；玛格斯·维纳斯，字符串分析自动机算法评估，248-262[Zbl 1317.68287号]
Howar，福尔克；伯恩哈德·斯特芬；梅克梅尔滕，通过自动字母抽象细化实现自动学习，263-277[Zbl 1317.68096号]
瑞典雅各布斯；维克多·昆卡，关于公理规范的完整推理，278-293[Zbl 1317.68117号]
Kim，Se-Won；Choe，Kwang Moo先生，字符串分析作为抽象解释，294-308[Zbl 1317.68099号]
Lahiri，Shuvendu K。；朱利安·瓦内格，解释胡迪尼：使胡迪尼推理透明，309-323[Zbl 1317.68119号]
贝诺·德拉哈耶；Joost-Pieter Katoen；Larsen，Kim G。；Legay，Axel；米克尔·L·佩德森。；谢尔、法拉克；安德烈·索夫斯基，抽象概率自动机，324-339[Zbl 1317.68095号]
Lopes，Nuno P。；安德烈·里巴尔琴科，分布式和可预测软件模型检查，340-355[兹比尔1317.68121]
哦，哈乔；卢卡斯·布鲁奇；Yi，Kwangkeun先生，基于访问分析的抽象存储器的紧密定位，356-370[Zbl 1317.68033号]
鲁齐卡皮斯卡；托马斯·怀斯，自动化终止证明的决策程序，371-386[Zbl 1317.68034号]
斯蒂芬·西格尔（Stephen F.Siegel）。；蒂莫西·齐科尔。，集体主张，387-402[Zbl 1317.68035号]
菲利普·苏特（Philippe Suter）；罗宾·斯泰格；维克多·昆卡，可满足模理论中具有基数约束的集，403-418[Zbl 1317.68124号]

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

MSC公司：

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

引文：

Zbl 1178.68003号

软件：

胡迪尼的解释
PDF格式BibTeX公司 XML格式引用
\textit{R.Jhala}（编辑）和textit{D.Schmidt}（主编），验证、模型检查和抽象解释。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（2011；Zbl 1206.68013）
全文： 内政部