Certifying Findel derivatives for blockchain
From MaRDI portal
Publication:2043802
DOI10.1016/j.jlamp.2021.100665OpenAlexW3129517363MaRDI QIDQ2043802
Publication date: 3 August 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.13602
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The calculus of constructions
- Isabelle/HOL. A proof assistant for higher-order logic
- Autarkic computations in formal proofs
- Certified symbolic management of financial multi-party contracts
- Interacting with Modal Logics in the Coq Proof Assistant
- Formal certification of a compiler back-end or