Model Checking of a Causal Broadcast Algorithm Using Spin
Published: 7 June 2023| Version 1 | DOI: 10.17632/ptznpn848p.1
Contributors:
, , Description
This is the source code for modeling and specifying a causal broadcast algorithm. This modeling uses Spin tool version 6.4.9 with the Promela language.
Files
Institutions
Michigan Technological University, University of Tabriz
Categories
Model Checking, Formal Verification