https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Raw File
Tip revision: 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC
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)
back to top