Login / Signup
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:
CoRR (2019)
Keyphrases
</>
computational model
probabilistic model
formal model
simulation model
statistical model
objective function
mathematical model
network model
data sets
conceptual model
theoretical analysis
cost function
high level
decision trees
social networks
artificial intelligence
information retrieval