DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
复制标题
DuoAI：用于验证分布式协议的归纳不变量的快速自动推理
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Nieh, Jason
中科院分区：
文献类型：
--
作者：
Yao, Jianan;Tao, Runzhou;Gu, Ronghui;Nieh, Jason
登录
查看更多内容
超越代数数据类型上的程序不变量的基本表示
DOI：
10.1145/3453483.3454055
发表时间：
2021
期刊：
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Y. Kostyukov;D. Mordvinov;Grigory Fedyukovich
通讯作者：
Grigory Fedyukovich
DOI：
10.1007/978-3-642-17164-2_23
发表时间：
2010-11
期刊：
--
影响因子：
--
作者：
Soonho Kong;Yungbum Jung;C. David;Bow-Yaw Wang;K. Yi
通讯作者：
Soonho Kong;Yungbum Jung;C. David;Bow-Yaw Wang;K. Yi
通用不变量的属性导向推理或证明它们的不存在
DOI：
--
发表时间：
2015
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Aleksandr Karbyshev;Nikolaj S. Bjørner;Shachar Itzhaky;N. Rinetzky;Sharon Shoham
通讯作者：
Sharon Shoham
影响因子：
--
作者：
Ilya Sergey;James R. Wilcox;Zachary Tatlock
通讯作者：
Ilya Sergey;James R. Wilcox;Zachary Tatlock
通过细化拜占庭化 Paxos
影响因子：
9.2
作者：
L. Lamport
通讯作者：
L. Lamport