# Developers Office Hours #82: Meet Blaster (09 October)

**URL:** <https://forum.cardano.org/t/developers-office-hours-82-meet-blaster-09-october/157219>\
**Category:** Misc Dev Talk\
**Tags:** dev-office-hours\
**Created:** [6 October 2026 11:32 UTC](https://forum.cardano.org/t/developers-office-hours-82-meet-blaster-09-october/157219 "2026-10-06T11:32:33Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![lodl\_de](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/lodl_de/32/82473_2.png) [@lodl\_de](https://forum.cardano.org/u/lodl_de)\
**Post date:** [6 October 2026 11:32 UTC](https://forum.cardano.org/t/developers-office-hours-82-meet-blaster-09-october/157219/1 "2026-10-06T11:32:33Z")

</div>

![dev](https://us1.discourse-cdn.com/flex023/uploads/cardano/original/3X/2/2/225100fa6fe020a93de1c70a7fb7decdc8ecaff7.jpeg)

Can You Prove Your Smart Contract Is Correct?

Meet Blaster - a tool for automated formal verification of Cardano smart contracts.

Join Romain Soulat and Jean-Frédéric Etienne from IOG to see how Blaster can automatically prove that a contract meets its specification - or produce a concrete counterexample when it doesn’t.

We’ll explore:

• Lean 4 & automated proofs  
• UPLC, CEK & ledger formalization  
• Writing contract specifications  
• Live demo: proofs & counterexamples  
• What’s next for Blaster  
• Q&A

Curious about smart contract security, formal verification, or high-assurance development? Come see Blaster in action and bring your questions!

📅 Tuesday, 09 October 2026  
🕑 08:00 UTC  
🔗 [Developers Office Hours #82 | AddEvent](https://www.addevent.com/event/6d4t21rdfbf9)

**Missed a session? View the recordings [here](https://www.youtube.com/playlist?list=PLCuyQuWCJVQ3IZiQQvHtczEM-cFAqoHBr).**

You can subscribe directly to the calendar here: [Cardano Developers | AddEvent](https://www.addevent.com/calendar/TG807216)  
Join the discussion below! We’ll update this thread with the recording link as soon as it’s live.