Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2203.03054
Cited By
v1
v2
v3 (latest)
Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
Types for Proofs and Programs (TYPES), 2022
6 March 2022
Fahad F. Alhabardi
A. Beckmann
B. Lazar
A. Setzer
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control"
1 / 1 papers shown
Access Hoare Logic
A. Beckmann
A. Setzer
64
0
0
03 Nov 2025
1
Page 1 of 1
