https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Tip revision: 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC
New update for Agda code and HTML file
New update for Agda code and HTML file
Tip revision: 4a8fc06
README.md
# Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
## Code in Agda
* All Agda Code
[ScriptTester](/ScriptTester/)
* The file [guidelines.agda](ScriptTester/guidelines.agda/) shows the code in the order as it appears in the paper.
* Html version of Agda code (no Agda installation needed) In order to render it in your browser you need to download it first and then load the downloaded file html/loadAll.html into your browser. Location of files: [html](/html/loadAll.html)