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.
-
Notifications
You must be signed in to change notification settings - Fork 0
jeltsch/wflp-2019
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published