伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 容错分布式算法安全性和有效性验证的一个简短反例性质。 (英语) Zbl 1380.68278号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。719-734 (2017). 引用于14文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68宽15 分布式算法 关键词:拜占庭断层;参数化模型检查;容错分布式算法;可靠的广播 引文:Zbl 1381.68172号 软件:z3(零3);TLA公司;远端;ByMC公司;威尔第;PSync(同步);自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。719--734(2017;Zbl 1380.68278) 全文: 内政部 arXiv公司