×
康斯坦丁·埃纳（编辑）;鲁齐卡皮斯卡（编辑）

验证、模型检查和抽象解释。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。 （英语） Zbl 1409.68014号

计算机科学课堂讲稿11388.查姆：施普林格（ISBN 978-3-030-11244-8/pbk；978-3-0030-11245-5/电子书）。十七、602页。(2019).

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

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1409.68012号].
索引文章：
杜鹃花（Azalea Raad）；奥里·拉哈夫；维克托·瓦菲亚迪斯，关于快照隔离的语义，1-23[Zbl 1522.68290号]
加尔文·史密斯；阿尔巴古提·奥斯，带有等价约简的程序合成，24-47[Zbl 1522.68165号]
贾德·哈姆扎；维克托·库恰克，示例中字符串到字符串函数的最小合成，48-69[Zbl 1522.68271号]
Nguyen，Thanh-Toan；Ta、Quang-Trung；魏恩根·钦，使用形式验证和表达式模板自动修复程序，70-91[Zbl 1522.68159号]
格里戈里·费迪尤科维奇；阿里·古芬克尔（Arie Gurfinkel）；阿尔蒂·古普塔，惰性但有效的功能合成，92-113[Zbl 1522.68313号]
巴拉布里加，克莱门特；忘了吧，朱利安；劳蕾·贡诺德；朱塞佩·利帕里；乔迪·鲁伊斯，使用多面体对带有内存间接寻址的二进制代码进行静态分析，114-135[Zbl 1522.68143号]
雷米·波顿；尼古拉斯·哈尔巴赫斯，过程间程序分析的析取关系抽象解释，136-159[Zbl 1522.68146号]
昆廷·布伊拉盖；弗朗索瓦·博博特；米哈埃拉·西希雷亚努；鲍里斯·亚科博夫斯基，利用内存模型中的指针分析进行演绎验证，160-182[Zbl 1522.68298号]
Anja F.卡尔。；Robert Schilling；罗德里克·布隆姆（Roderick Bloem）；斯特凡·曼加德，小故障不断增加——验证算术编码程序中的错误屏蔽稳健性，183-204[Zbl 1522.68327号]
金博尔·日尔曼；可能吧，马修，逃生延续的相对完整下推分析，205-225[Zbl 1522.68154号]
金博尔·日尔曼；杰·麦卡锡（Jay McCarthy）；迈克尔·D·亚当斯。；可能吧，马修，需求控制流程分析，226-246[Zbl 1522.68123号]
Jens Nicolay；斯蒂文娜特（Stiévenart）、昆廷（Quentin）；沃尔夫冈·德梅特；科恩·德鲁弗，有效驱动流分析，247-274[Zbl 1522.68160号]
卢天汉；乔恩，帕沃；Chang，Bor-Yuh Evan；阿舒托什·特里维迪，反应式程序中集合的类型定向边界，275-296[Zbl 1522.68157号]
Jochen Hoenicke；坦尼娅·辛德勒，基于弱等价求解和插值常量数组，297-317[Zbl 1522.68323号]
邱晓康；王彦军，具有测量的树数据结构的可判定逻辑，318-341[Zbl 1522.68175号]
查理·墨菲（Charlie Murphy）；扎卡里·金凯德，一种实用的结构嵌入算法，342-362[Zbl 1522.68725号]
丹尼斯·布埃诺；卡伦·萨卡拉。，EUFORIA：使用未解释的功能完成软件模型检查，363-385[Zbl 1522.68299号]
埃蒂安·安德烈；劳伦·弗里堡；Mota，Jean-Marc；罗曼·苏拉特，使用抽象和参数模型检查验证工业异步领导者选举算法，409-424[Zbl 1522.68293号]
杰里恩·福克斯；Daniel Stan；霍尔格·赫尔曼斯，概率可达性的句法偏序压缩，446-467[Zbl 1522.68316号]
傅洪飞；克里希南德·查特吉，非确定性概率程序的终止，468-490[Zbl 1522.68152号]
埃蒂安·安德烈；德拉哈耶，贝诺特；保林·福尼尔（Paulin Fournier）；青柠，迪迪埃，参数定时广播协议，491-512[Zbl 1522.68057号]
诺曼·戴克；安东·皮罗戈夫，使用无量词Presburger算法计算LTL的平面模型检查，513-534[Zbl 1522.68309号]
理查德·赫伯斯（Richard Huybers）；阿尔芬斯·拉阿尔曼，基于并行关系的符号互模拟最小化算法，535-554[Zbl 1522.68324号]
哈尔，斯特凡；尤拉吉·科尔查克；洛伊奇·波列维，将参数模型的细化与面向目标的动力学简化相结合，555-576[Zbl 1522.68320号]
Preoteasa，维奥雷；尤利亚·德拉戈米尔；斯塔夫罗斯·特里帕基斯，机械证明层次框图翻译的确定性，577-600[Zbl 1522.68344号]

引用于1审查

MSC公司：

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

引文：

Zbl 1409.68012号
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}（编辑）和\textit{R.Piskac}（编），验证、模型检查和抽象解释。2019年1月13日至15日，葡萄牙卡斯凯斯，第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格（2019；Zbl 1409.68014）
全文： 内政部