ByMC公司 swMATH ID: 21699 软件作者： Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 描述： ByMC工具集（拜占庭模型检查器）。ByMC是一个用于对阈值保护容错分布式算法进行参数化模型检查的工具集（例如，检查我们的基准测试）。算法在我们的Promela扩展中通过以下特定代码模式进行编码（参见Spin’13论文）。 主页： http://forsyte.at/software/bymc/ 相关软件： z3（零3）;威尔第;自旋蛋白;PSync（同步）;nuXmv（数字）;常春藤;铁人舰队;常春藤;沙帕尔;github;玲玲;快速;Treengeling公司;弯曲;TLA公司;薄层色谱法;达夫尼;Coq公司;伊莎贝尔/霍尔;SMT-LIB语言 引用于： 10文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 阈值自动机和拜占庭模型检查器参数化验证综述。 Zbl 07667095号伊戈尔·康诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托尔科夫斯卡;约瑟夫·威德 2023 全部的 前5名17位作者引用 6 伊戈尔·康诺夫（Igor V.Konnov）。 6 约瑟夫·威德 4 玛丽亚娜·拉齐奇 4 赫尔穆特·维思 2 罗兰·梅耶 1 Balasubramanian，A.R。 1 Nathalie Bertrand 1 彼得·奇尼 1 西尔维奥·吉拉尔迪 1 阿努·格梅纳 1 马修·黑格 1 塞巴斯蒂安·穆斯卡拉 1 埃琳娜·帕加尼 1 普拉卡什·塞瓦桑 1 乌尔里希·施密德 1 伊利娜·斯托尔科夫斯卡 1 马丁·齐默尔曼 5篇连载文章中引用 1 计算 1 信息与计算 1 自动推理杂志 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 10 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文