Modeling and Verifying a Crash-Tolerant Causal Broadcast Algorithm Using SPIN
Published: 1 July 2024| Version 1 | DOI: 10.17632/v4gvjzc3mw.1
Contributors:
, , Description
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.
Files
Institutions
Michigan Technological University, University of Tabriz
Categories
Model Checking, Formal Verification