2026-10-15T09:47:23Z https://data.mendeley.com/oai

oai:data.mendeley.com/ptznpn848p.1 2023-06-07T13:46:56Z

NamvariTazehkand, Leila Model Checking of a Causal Broadcast Algorithm Using Spin Mendeley Data 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. Model Checking Formal Verification Ebnenasir, Ali Pashazadeh, Saeid Dataset doi:10.17632/ptznpn848p.1 oai:data.mendeley.com/ptznpn848p.1 Creative Commons Attribution 4.0 International http://creativecommons.org/licenses/by/4.0 https://data.mendeley.com/datasets/ptznpn848p 2023-06-07T13:46:56Z