ByMC公司

ByMC工具集(拜占庭模型检查器)。ByMC是一个用于阈值保护的分布式容错算法的参数化模型检查的工具集(例如检查我们的基准测试)。这些算法在我们的Promela扩展中通过遵循特定的代码模式进行编码(参见Spin'13论文)。