Human and machine-readable models of state machines for the Cardano ledger
Authors: Andre Knispel, James Chapman, Orestis Melkonian and Polina Vinogradova
Paper Information
| Title: | Human and machine-readable models of state machines for the Cardano ledger |
| Authors: | Andre Knispel, James Chapman, Orestis Melkonian and Polina Vinogradova |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | blockchain, Cardano, UTXO, ledger, Agda, elaborator reflection, meta-programming, formal verification, formal methods |
| Pages: | 3 |
| Talk: | Aug 11 15:00 (Session 127D: Formal Methods for Blockchain Protocols) |
| Paper: |  |