Tudor Ferariu, Philip Wadler, Orestis Melkonian. tferariu/agda2plinth (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23006, title = {{tferariu/agda2plinth}}, author = {Ferariu, Tudor and Wadler, Philip and Melkonian, Orestis}, note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}{\texttt{swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}} (visited on 2025-05-16)}, url = {https://github.com/tferariu/agda2plinth}, doi = {10.4230/artifacts.23006}, }
Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
Tudor Ferariu, Philip Wadler, and Orestis Melkonian. Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. In 6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 6:1-6:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ferariu_et_al:OASIcs.FMBC.2025.6, author = {Ferariu, Tudor and Wadler, Philip and Melkonian, Orestis}, title = {{Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano}}, booktitle = {6th International Workshop on Formal Methods for Blockchains (FMBC 2025)}, pages = {6:1--6:21}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-371-3}, ISSN = {2190-6807}, year = {2025}, volume = {129}, editor = {Marmsoler, Diego and Xu, Meng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.6}, URN = {urn:nbn:de:0030-drops-230336}, doi = {10.4230/OASIcs.FMBC.2025.6}, annote = {Keywords: blockchain, Agda, UTxO, EUTxO, smart contract, formal verification, specification, transition systems, Cardano} }
Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Polina Vinogradova, Orestis Melkonian, Philip Wadler, Manuel Chakravarty, Jacco Krijnen, Michael Peyton Jones, James Chapman, and Tudor Ferariu. Structured Contracts in the EUTxO Ledger Model. In 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 10:1-10:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{vinogradova_et_al:OASIcs.FMBC.2024.10, author = {Vinogradova, Polina and Melkonian, Orestis and Wadler, Philip and Chakravarty, Manuel and Krijnen, Jacco and Jones, Michael Peyton and Chapman, James and Ferariu, Tudor}, title = {{Structured Contracts in the EUTxO Ledger Model}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {10:1--10:19}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-317-1}, ISSN = {2190-6807}, year = {2024}, volume = {118}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.10}, URN = {urn:nbn:de:0030-drops-198757}, doi = {10.4230/OASIcs.FMBC.2024.10}, annote = {Keywords: blockchain, ledger, smart contract, formal verification, specification, transition systems, Agda, UTxO, EUTxO, small-step semantics} }
Feedback for Dagstuhl Publishing