Login
From:
Nomadic Labs
(Uncensored)
subscribe
FA1.2 Approvable Ledger, formal verification by Nomadic Labs
https://research-development.nomadic-labs.com/fa12-approvable-ledger-formal-verification-by-nomadic-labs.html
links
backlinks
Tagged with:
in-depth
Roast topics
Find topics
Find it!
We describe the formal verification in Coq of three FA1.2-compliant smart contracts.
