Formal Verification + AI: Midspiral's Practical Approach to Bug-Free Code

Bugs are an inevitable reality in software development. We code, we test, we release, and then users report bugs that we fix.

🌟 But what if you could eliminate an entire category of bugs? Enter formal verification.
It allows you to ensure that a critical section of your code—where bugs can be extremely costly—is free from errors before it even compiles.

Traditionally, this practice has been limited to high-stakes fields such as NASA and avionics, but with the advent of AI, it’s becoming increasingly accessible to all developers.

While AI has spurred the rise of rapid, high-volume autonomous coding systems, this often leads to questionable correctness. The good news? You can achieve both speed and reliability without an intricate network of agentic systems.

The founders of Midspiral are pioneers in integrating formal verification into every engineering workflow alongside AI. In this hands-on workshop, tailored for both experts and novices, you will learn:

• What formal verification truly means, explained in simple terms—its capabilities and limitations.
• Practical demonstrations on formally verifying TypeScript functions and features in both new and existing projects using AI.
• Answers to your technical, practical, and philosophical inquiries in this fascinating domain.

💻 Don’t forget to bring your laptop, some TypeScript, and your toughest questions! No prior knowledge of formal methods is needed. This workshop is perfect for anyone frustrated by AI inadvertently introducing bugs.

We’ll mainly be utilizing LemmaScript, which is open-source. Feel free to explore it beforehand!

📍 Location: 71 Stevenson St

🎟️ Tickets: Get Your Ticket Here!

🏢 Presented by Midspiral and hosted by Antithesis.