Applying Continuous Formal Methods to Cardano (Experience Report)
September 2024 — James Chapman, Arnaud Bailly, Polina Vinogradova
FUNARCH '24
At Input Output Education, we’re committed to delivering high-quality, accessible education on Cardano, IO principles and developer tools. Our mission is to empower individuals and institutions with the knowledge they need to shape the decentralized future.