Model v2 is the final submission.V1 is not able to run. To find PAT: https://pat.comp.nus.edu.sg/
-
Notifications
You must be signed in to change notification settings - Fork 1
dukesun99/DPoSFormalVarification
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Formal varification of DPoS consensus mechanism (simplified) using PAT.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published