Model v2 is the final submission.V1 is not able to run. To find PAT: https://pat.comp.nus.edu.sg/
dukesun99/DPoSFormalVarification
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Model v2 is the final submission.V1 is not able to run. To find PAT: https://pat.comp.nus.edu.sg/