About

Overview Research Leadership Media

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Arnaud Bailly

Arnaud Bailly

Arnaud Bailly

Technical Lead

Engineering

France

Applying Continuous Formal Methods to Cardano (Experience Report)

James Chapman,Arnaud Bailly,Polina Vinogradova

September 2024, FUNARCH '24

AGDA CARDANO FORMALMETHODS

Products

Cardano
Daedalus
Atala PRISM
Lace
Catalyst
Marlowe
Plutus

Media

Media
Media kit

Courses

Plutus Pioneers
IOG Academy

Legal

DMCA Policy
Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram