This repository contains the complete source code of the WFLP ’19 invited contribution “A Process Calculus for Formally Verifying Blockchain Consensus Protocols”. Most of it is documented Isabelle source code, which has been checked against the precursor of our formalization of the Ouroboros protocol family using Isabelle2018.
jeltsch/wflp-2019
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|