×
艾哈迈德·布瓦贾尼（编辑）;戴维·莫尼奥（编辑）

验证、模型检查和抽象解释。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。 （英语） Zbl 1355.68009号

计算机科学课堂讲稿10145.查姆：施普林格（ISBN 978-3-319-52233-3/pbk；978-3-3169-52234-0/电子书）。十七、560页。(2017).

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

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1329.68030号].
索引文章：
扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼基塔·斯科洛夫，将LTL模型检查带给生物学家，1-13[Zbl 1484.68094号]
罗德里克·布隆姆（Roderick Bloem）；哈纳·乔克勒；易卜拉希米，马苏德；斯特里赫曼（Ofer Strichman），合成非真空系统，55-72[Zbl 1484.68096号]
文森特·博特波尔（Vincent Botbol）；伊曼纽尔·沙伊洛（Emmanuel Chailloux）；特里斯坦勒加尔，使用符号转换器的通信过程的静态分析，73-90[兹比尔1484.68097]
新娘哈德里安；奥尔加库什纳伦科；法比安·佩鲁克斯，简化通用可靠性验证的工作流程网，91-111[Zbl 1484.68139号]
查克拉博蒂，苏帕拉提克；阿舒托什古普塔；拉胡尔·贾恩，位向量公式中的匹配乘法，131-150[Zbl 1484.68098号]
维杰·D’Silva；Daniel Kroening；马塞洛·索萨，独立抽象和并发模型，151-168[Zbl 1484.68140号]
维杰·D’Silva；马塞洛·索萨，完全抽象和子类模态逻辑，169-186[Zbl 1484.68099号]
费拉拉，彼得罗；特里普，奥马尔；刘鹏；埃里克·科斯金，使用抽象解释纠正同步故障，187-208[Zbl 1484.68046号]
亚西亚·弗鲁姆金；Yotam M.Y.费尔德曼。；Ondřej；Lhoták；奥德·帕顿；穆利·萨吉夫；沙龙·肖姆，用于证明没有并发修改错误的属性定向可达性，209-227[Zbl 1484.68047号]
顾一嘉；托马斯·沃尔，使用起源分析稳定浮点程序，228-245[Zbl 1484.68048号]
亨宁·Günther；阿尔芬斯·拉尔曼（Alfons Laarman）；阿娜·索科洛娃（Ana Sokolova）；乔治·威森巴赫，模型检查并发软件的动态缩减，246-265[Zbl 1484.68102号]
恩斯特·莫里茨·哈恩（Ernst Moritz Hahn）；Schewe，Sven；安德烈亚·图里尼（Andrea Turrini）；张丽君，综合策略改进和递归算法求解2.5人平价游戏，266-287[兹比尔1484.68141]
霍利克，卢卡什；赫鲁什卡，马丁；安大略省Lengál；亚当·罗加列维奇（Adam Rogalewicz）；汤姆·沃纳，森林自动机的反例验证和基于插值的精化，288-309[Zbl 1484.68103号]
姜佳红；陈丽倩；吴雪光；王，季，通过将抽象域与SMT相结合进行分块抽象解释，310-329[Zbl 1484.68049号]
德扬·约瓦诺维奇，用MCSAT求解非线性整数算法，330-346[Zbl 1484.68220号]
伊戈尔·康诺夫；约瑟夫·威德（Josef Widder）；弗朗西斯科·斯佩尼；卢卡·斯帕拉齐，容错分布式算法中消息计数抽象的准确性，347-366[Zbl 1484.68321号]
亚历山大·马雷查；米歇尔·佩林，通过光线追踪有效消除多面体中的冗余，367-385[Zbl 1487.90645号]
拉斐尔·莫纳特；安托万·米内，使用关系干扰抽象对并发程序进行精确的线程-模块抽象解释，386-404[Zbl 1484.68050号]
安卡·穆斯科尔；塞德尔，赫尔穆特；伊戈尔·瓦卢基维奇，动态参数过程的可达性，424-441[Zbl 1484.68143号]
奥泽里，俄勒冈州；奥德·帕顿；诺姆·里内茨基；穆利·萨吉夫，使用副调制的连接抽象解释，442-461[Zbl 1484.68051号]
安德鲁·雷诺兹（Andrew Reynolds）；Iosif，Radu；塞尔维亚人，克里斯蒂娜，分离逻辑的Bernays-Schönfinkel-Ramsey片段中的推理，462-482[Zbl 1484.68104号]
亚萨米娜·塞拉吉，通过主成分分析找到相关模板，483-499[兹比尔1484.68052]
图沙尔·沙尔马；代表，托马斯，声音位精确数字域，500-520[Zbl 1484.68053号]
亚基尔·维泽尔；阿里·古芬克尔（Arie Gurfinkel）；沙龙·肖姆；沙拉德·马利克，IC3–翻转ICE中的E，521-538[Zbl 1484.68105号]
王伟；克拉克·巴雷特；托马斯·维斯，用于程序分析的分区内存模型，539-558[Zbl 1484.68054号]

引用于1审查

MSC公司：

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

引文：

Zbl 1329.68030号
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}（编辑）和\textit{D.Monniaux}（编），验证、模型检查和抽象解释。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1355.68009）
全文： 内政部