External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva. Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 616-635, Springer, 2022. [doi]

Authors

Harold Carr

This author has not been identified. Look up 'Harold Carr' in Google

Christa Jenkins

This author has not been identified. Look up 'Christa Jenkins' in Google

Mark Moir

This author has not been identified. Look up 'Mark Moir' in Google

Victor Cacciari Miraldo

This author has not been identified. Look up 'Victor Cacciari Miraldo' in Google

Lisandra Silva

This author has not been identified. Look up 'Lisandra Silva' in Google
runs on