Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2203.14711
Cited By
v1
v2 (latest)
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version
NASA Formal Methods (NFM), 2022
25 March 2022
H. Carr
Christopher Jenkins
Mark Moir
Victor Cacciari Miraldo
Lisandra Silva
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version"
1 / 1 papers shown
Title
Quorum Subsumption for Heterogeneous Quorum Systems
International Symposium on Distributed Computing (DISC), 2023
Xiao Li
Eric Chan
M. Lesani
203
9
0
11 Apr 2023
1
