Sign in
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
Musab A. Alturki
Jing Chen
Victor Luchangco
Brandon M. Moore
Karl Palmskog
Lucas Peña
Grigore Rosu
Published in:
FM Workshops (1) (2019)
Keyphrases
</>
computational model
mathematical model
real time
theoretical framework
statistical model
experimental data
high level
formal model
data sets
artificial intelligence
cost function
information retrieval
social networks
conceptual model