Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer. Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. In Henning Basold, Jesper Cockx, Silvia Ghilezan, editors, 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). Volume 239 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.