×
维克多·昆卡（编辑）;安德烈·里巴尔琴科（编辑）

验证、模型检查和抽象解释。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。 （英文） Zbl 1236.68007号

计算机科学课堂讲稿7148.柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。xi，第461页。(2012).

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

本卷的文章将单独进行审查。有关上一次会议，请参阅Zbl 1206.68013号.
索引文章：
艾哈迈德·布瓦贾尼；塞扎拉奥盖医生；埃纳，君士坦丁；米哈埃拉·西希雷亚努，关于具有无限数据的列表操作程序的自动推理的抽象域，1-22[Zbl 1325.68058号]
托比亚斯·尼普科，与校对助理教授语义：无LSD跳闸校对，24-38[Zbl 1325.68005号]
Albarghouthi，Aws；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克，鲸鱼：基于插值的过程间验证算法，39-55[Zbl 1325.68137号]
萨米克·巴苏；布尔坦、特夫菲克；梅里姆·乌代尔尼，异步通信系统验证的同步性，56-71[Zbl 1325.68139号]
阿米尔·本·阿姆拉姆（Amir M.Ben-Amram）。；萨米尔·根奈姆；阿布·纳赛尔·马苏德，整数循环终止时，72-87[Zbl 1325.68056号]
劳拉，博泽利；苏菲·平奇纳特，验证计数器系统的间隙阶约束抽象，88-103[Zbl 1325.68141号]
德米特里·布加琴科，关于多根二元决策图在概率模型检验中的应用，104-118[兹比尔1325.68142]
萨加尔·查基；阿里·古芬克尔（Arie Gurfinkel）；斯特里赫曼（Ofer Strichman），多线程程序的回归验证，119-135[Zbl 1325.68060号]
纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德，Crowfoot:高阶存储程序的验证器，136-151[Zbl 1325.68143号]
克里希南多·查特吉；拉曼，Vishwanath，数字合同签订综合协议，152-168[Zbl 1325.94115号]
雷纳·迪米特洛娃；芬克贝纳（Bernd Finkbeiner）；科瓦奇，马特；马库斯·拉贝。；赫尔穆特·塞德尔，反应系统中的模型检查信息流，169-185[Zbl 1326.68182号]
埃夫伦·埃尔米斯（Evren Ermis）；Jochen Hoenicke；安德烈亚斯·波德尔斯基，通过插值拆分，186-201[Zbl 1326.68091号]
费拉拉，彼得罗；彼得·米勒，访问权限的自动推断，202-218[Zbl 1326.68092号]
芬克贝纳（Bernd Finkbeiner）；瑞典雅各布斯，惰性合成，219-234[Zbl 1326.68183号]
哈利勒·戈尔巴尔；伊万契奇，弗兰乔；Balakrishnan，Gogul；前田直人；阿尔蒂·古普塔，圆环域：用于抽象解释的高效非凸域，235-250[Zbl 1326.68094号]
Howar，福尔克；伯恩哈德·斯特芬；Jonsson，Bengt；索菲亚·卡塞尔，推断规范寄存器自动机，251-266[Zbl 1326.68168号]
约翰·金德（Johannes Kinder）；德米特里·克拉夫琴科，交替控制流重建，267-282[Zbl 1326.68099号]
乌里·克莱因；尼尔·皮特曼；阿米尔·普努利，根据GR（1）规范对异步系统进行有效综合，283-298[Zbl 1326.68186号]
Lee，Woosuk；Lee，Wonchan；Yi，Kwangkeun先生，静态分析警报的健全非统计聚类，299-314[Zbl 1326.68100号]
Leino，K.Rustan M。，使用SMT求解器自动感应，315-331[Zbl 1326.68262号]
Kedar S.Namjoshi。；理查德·特雷弗勒。，局部对称性和成分验证，348-362[Zbl 1326.68103号]
Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西,versat公司：经验证的现代SAT解算器，363-378[Zbl 1326.68263号]
斯坦·罗森博格（Stan Rosenberg）；阿尼迪亚·班纳吉；戴维·诺曼（David A.Naumann）。，区域逻辑的决策程序，379-395[Zbl 1326.68264号]
约书亚·萨克（Joshua Sack）；张丽君，概率表征公式的一般框架，396-411[Zbl 1326.68176号]
斯蒂芬·西格尔（Stephen F.Siegel）。；蒂莫西·齐科尔。，并行程序的循环不变符号执行，412-427[Zbl 1326.68106号]
冯·埃森，克里斯蒂安；芭芭拉·乔布斯曼，合成高效控制器，428-444[Zbl 1326.68190号]
Damien Zufferey；Thomas Wies；托马斯·亨辛格（Thomas A.Henzinger）。，结构良好的过渡系统的理想抽象，445-460[Zbl 1326.68205号]

引用于1审查

MSC公司：

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

引文：

Zbl 1206.68013号
PDF格式BibTeX公司 XML格式引用
\textit{V.Kuncak}（编辑）和textit{A.Rybalchenko}（主编），验证、模型检查和抽象解释。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（2012；Zbl 1236.68007）
全文： 内政部