Published April 22, 2021 | Version v1.0.0
Software Open

Verifying Simplified Hotstuff

Authors/Creators

  • 1. University of Stavanger

Description

Artifacts to the paper Formal Verification of HotStuff accepted to FORTE 2021.

Files

leandernikolaus/hotstuff-ivy-v1.0.0.zip

Files (18.5 kB)

Name Size Download all
md5:cb593ed89468c3df4b78717aa393427d
18.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/leandernikolaus/hotstuff-ivy/tree/v1.0.0 (URL)