7 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.SC2022★ 7 cited
Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar +1
This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security proper…
cs.CR2018
Modelling Bitcoin in Agda
Anton Setzer
We present two models of the block chain of Bitcoin in the interactive theorem prover Agda. The first one is based on a simple model of bank accounts, while having transactions wit…
cs.PL2017★ 3 cited
Trace and Stable Failures Semantics for CSP-Agda
Bashar Igried, Anton Setzer
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form,…