×
弗里茨·亨利恩（编辑）;沙龙·肖姆（编辑）;亚基尔·维泽尔（编辑）

验证、模型检查和抽象解释。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。 （英语） Zbl 1471.68017号

计算机科学课堂讲稿12597.查姆：施普林格（ISBN 978-3-030-67066-5/pbk；978-3-0030-67067-2/电子书）。十五、604页。（2021）。

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

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1429.68006号].
索引文章：
伯恩德·芬克贝纳，超属性的模型检查算法（特邀论文），3-16[兹比尔1472.68088]
安德烈亚斯·休门伯格（Andreas Humenberger）；劳拉·科瓦奇，循环及其不变量的基于代数的合成（受邀论文），17-28[兹比尔1472.68036]
伯恩哈德·斯特芬；阿尔尼斯·穆托维《生成性程序分析及超越：特定领域语言的力量》（特邀论文），29-51[Zbl 1472.68042号]
Goudsmid，奥哈德；Orna Grumberg；莎莱·申瓦尔德，多属性组合模型检查，55-80[Zbl 1472.68089号]
埃里克·科斯金（Eric Koskinen）；克什蒂吉·班萨尔，用（mn）-差分分解数据结构交换性证明，81-103[Zbl 1472.68090号]
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈，证明无限状态系统中公平路径的存在，104-126[Zbl 1472.68085号]
Kedar S.Namjoshi。；薛安东，WebAssembly的自认证编译框架，127-148[Zbl 1472.68032号]
克里斯蒂娜·彼得森；维克多·库克；戴米安·德切夫，向量空间中的并发正确性，151-173[Zbl 1472.68092号]
丹尼尔·迪特施（Daniel Dietsch）；马提亚斯·海兹曼；Dominik Klumpp；迈赫迪·瑙阿尔；安德烈亚斯·波德尔斯基；克劳斯·施瓦兹勒，使用Petri网展开验证并发程序，174-195[Zbl 1472.68087号]
伊利娜·斯托尔科夫斯卡；伊戈尔·康诺夫；约瑟夫·威德（Josef Widder）；佛罗里达州祖列格，消除同步阈值自动机中的消息计数器，196-218[兹比尔1472.68094]
纳塔莉·伯特兰；马里亚娜·拉齐奇；约瑟夫·威德，弱对手下随机分布式算法的约简定理，219-239[Zbl 1472.68083号]
弗兰克·维德里恩；马克西姆·雅克·明；尼古拉·科马托夫；辛戈尔斯，朱利安，数值准确性和鲁棒性的运行时抽象解释，243-266[Zbl 1472.68095号]
卢卡·内格里尼；文森佐·阿塞里；费拉拉，彼得罗；阿戈斯蒂诺·科尔特斯，用于字符串静态分析的孪生自动机和正则表达式，267-290[Zbl 1472.68039号]
Pick，Lauren；格里戈里·费迪尤科维奇；阿尔蒂·古普塔，来自有界环境的无界过程摘要，291-324[Zbl 1472.68093号]
张洪策；阿蒂·古普塔；沙拉德·马利克，硬件模型检查中生成引理的语法引导合成，325-349[Zbl 1472.68096号]
马吕斯·坎普；迈克尔·菲利普森，近似位相关性分析，以确定程序合成问题不可行，353-375[Zbl 1472.68037号]
Nguyen，Thanh-Toan；Ta、Quang-Trung；伊利亚·谢尔盖；魏恩根·钦，使用演绎合成自动修复堆操作程序，376-400[Zbl 1472.68040号]
宋亚辉；魏恩根·钦，用于纯Esterel时间验证的同步效应逻辑，417-440[Zbl 1472.68020号]
Kwon，YoungMin；金恩赫（Kim，Eunhee），基于GPU的定量模型检查设计，441-463[Zbl 1472.68091号]
Aluf Medina，米歇尔；科尔滕，蒂尔；拉维夫，阿夫拉姆；Dan V.jun.尼古拉。；希勒尔·库格勒，基于网络的生物计算电路的形式语义和验证，464-485[Zbl 1472.68057号]
张，韩；张驰；阿泽夫多·德·阿莫林（Azevedo de Amorim），亚瑟；阿加瓦尔（Yuvraj Agarwal）；马特·弗雷德里克森；贾丽敏，Netter：概率、状态网络模型，486-508[Zbl 1472.68012号]
Bromberger，Martin；阿尔贝托·菲奥里；克里斯托夫·韦登巴赫，通过理论上的简单子句学习确定有界差分约束上的Bernays-Schoenfinkel片段，511-533[Zbl 1472.03024号]
Jochen Hoenicke；坦尼娅·辛德勒，使用E-matching增量搜索量化公式的冲突和单位实例，534-555[Zbl 1472.68184号]
帕西安，托拜厄斯；帕斯卡·雷奥拉；贝恩德·贝克尔，关于加权MaxSAT的预处理，556-577[Zbl 1472.68185号]
Le，Quang Loc公司，分离逻辑中的合成可满足性求解，578-602[Zbl 1472.03025号]

引用于1审查

MSC公司：

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

引文：

Zbl 1429.68006号
PDF格式BibTeX公司 XML格式引用
\textit{F.Henglein}（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格（2021；Zbl 1471.68017）
全文： DOI程序