Modeling and Verifying a Crash-Tolerant Causal Broadcast Algorithm Using SPIN
收藏Mendeley Data2026-04-09 收录
官方服务：
资源简介：
This source code models specify and verifies a crash-tolerant causal broadcast algorithm. This modeling uses Spin tool version 6.4.9 with the Promela language. Additionally, this model was implemented on a system with 8 GB of memory, an AMD A6 processor, and a Windows 10 operating system.
提供机构：
University of Tabriz
