Skip to main content

About

Overview Research Leadership Newsroom

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Wouter Swierstra

Wouter Swierstra

Program logics for ledgers

Orestis Melkonian,Wouter Swierstra,James Chapman

May/2025, FMBC '25

AGDA FORMAL VERIFICATION

Translation certification for smart contracts (SCP)

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

November/2023, Science of Computer Programming

PLUTUS SMARTCONTRACT

Translation Certification for Smart Contracts

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

May/2022, FLOPS '22

PLUTUS SMARTCONTRACT

Translation Certification for Smart Contracts (Extended Abstract)

Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra

August/2021, TyDe 2021

PLUTUS SMARTCONTRACT

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