About

Overview Research Leadership Newsroom

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Tudor Ferariu

Tudor Ferariu

Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano

Tudor Ferariu,Prof Philip Wadler,Orestis Melkonian

May/2025, FMBC '25

AGDA FORMAL VERIFICATION SMARTCONTRACT

Structured Contracts in the EUTxO Ledger Model

Polina Vinogradova,Orestis Melkonian,Prof Philip Wadler,Manuel Chakravarty,Jacco Krijnen,Michael Peyton Jones,James Chapman,Tudor Ferariu

April/2024, FMBC 2024

Products

Cardano
Daedalus
Identus
Lace
Catalyst
Marlowe
Plutus

Media

Newsroom
Media Assets

Courses

Plutus Pioneers
IOG Academy

Legal

Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram