Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems
复制标题
Sift：使用细化引导的自动化来验证复杂的分布式系统
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Baris Kasikci
中科院分区：
文献类型：
--
作者：
Haojun Ma;Hammad Ahmad;Aman Goel;Eli Goldweber;Jean-Baptiste Jeannin;Manos Kapritsos;Baris Kasikci
