A readable and computable formalization of the Streamlet consensus protocol
May 2025 — Mauro Jaskelioff, Orestis Melkonian, James Chapman
FMBC '25Where science meets purpose
Categories
Topics
Authors
Research Papers
Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano
May 2025 — Tudor Ferariu, Prof Philip Wadler, Orestis Melkonian
FMBC '25Formal specification of the Cardano blockchain ledger, mechanized in Agda
April 2024 — Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William DeMeo, Ulf Norell
FMBC 2024Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
September 2022 — Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Haskell '22