Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification
复制标题
具有高效可判定验证的分布式基于协议的系统的综合
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Samanta, Roopsha
中科院分区：
文献类型：
--
作者：
Jaber, Nouraldin;Wagner, Christopher;Jacobs, Swen;Kulkarni, Milind;Samanta, Roopsha
登录
查看更多内容
QuickSilver：基于分布式协议的系统的建模和参数化验证
影响因子：
--
作者：
Jaber, Nouraldin;Wagner, Christopher;Jacobs, Swen;Kulkarni, Milind;Samanta, Roopsha
通讯作者：
Samanta, Roopsha
影响因子：
0.6
作者：
Nahal Mirzaie;Fathiyeh Faghih;Swen Jacobs;Borzoo Bonakdarpour
通讯作者：
Borzoo Bonakdarpour
分布式协议的自动合成
DOI：
10.1145/3061640.3061652
发表时间：
2017
期刊：
SIGACT News
影响因子：
--
作者：
R. Alur;S. Tripakis
通讯作者：
S. Tripakis
DOI：
10.1007/978-3-030-53288-8_15
发表时间：
2020-06-13
期刊：
Computer Aided Verification
影响因子：
--
作者：
Jaber N;Jacobs S;Wagner C;Kulkarni M;Samanta R
通讯作者：
Samanta R
具有安全特性的参数化合成
影响因子：
--
作者：
Oliver Markgraf;Chih;A. Lin;Muhammad Najib;D. Neider
通讯作者：
D. Neider