A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.

Colin Boyd Kristian Gjøsteen Shuang Wu

Published in: FMBC@CAV (2020)

Keyphrases

formal analysis
probabilistic model
statistical model
computational model
mathematical model
experimental data
formal model
machine learning
artificial intelligence
objective function
prior knowledge
probability distribution
agent model