research
∙
03/06/2022
Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
This paper contributes to the verification of programs written in Bitcoi...
share
research
∙
04/17/2018
Modelling Bitcoin in Agda
We present two models of the block chain of Bitcoin in the interactive t...
research
∙
09/14/2017
