The version in this folder uses a network model. Based on ESOP'2022 paper "Why3-do: The Way of Harmonious Distributed System Proofs".
- leaderlect-ring.mlw: leader election problem and Chang-Roberts algorithm
changRobertsNetwork
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||