Beyond Vibe Coding: Formal Verification for AI-Generated Software

október 22, 2026 | 12:30 - 1:30 de. (UTC) Összehangolt Univerzális Idő

Készen áll az AI és a legújabb technológiák használatának megkezdésére? A Microsoft Reactor eseményeket, képzéseket és közösségi erőforrásokat biztosít a fejlesztőknek, vállalkozóknak és startupoknak az AI-technológiákra és egyebekre való támaszkodásához. Csatlakozzon Ön is!

Beyond Vibe Coding: Formal Verification for AI-Generated Software

október 22, 2026 | 12:30 - 1:30 de. (UTC) Összehangolt Univerzális Idő

Készen áll az AI és a legújabb technológiák használatának megkezdésére? A Microsoft Reactor eseményeket, képzéseket és közösségi erőforrásokat biztosít a fejlesztőknek, vállalkozóknak és startupoknak az AI-technológiákra és egyebekre való támaszkodásához. Csatlakozzon Ön is!

Visszalépés

Beyond Vibe Coding: Formal Verification for AI-Generated Software

október 22, 2026 | 12:30 - 1:30 de. (UTC) Összehangolt Univerzális Idő

  • Formátum:
  • alt##LivestreamÉlő közvetítés

Téma: Nyílt forráskód

Nyelv: Angol

AI coding agents can now write substantial amounts of open-source software, but generated code still needs more than a plausible implementation and a passing test suite.

In this session, Carl will demonstrate a workflow in which AI writes code, creates a formal specification, and produces a machine-checked proof of correctness. He is applying this approach to RangeSetBlaze, an open-source Rust library, using Lean to state and prove key correctness properties.

The broader idea is language-independent: AI may make formal verification practical for ordinary software development by taking on much of the proof engineering itself. The session will explore what this workflow looks like in practice, where it works, where it breaks down, and how formal proofs can complement testing and code review as AI takes on more of the coding.
  • open source
  • Rust
  • AI coding agents
  • Formal verification

Előadók

  • Carl Kadie

    • Principal Applied Researcher

    Microsoft

Kapcsolódó események

Az alábbi események önt is érdekelhetik. Mindenképpen látogasson el a A Reactor kezdőlapja az összes elérhető esemény megtekintéséhez.

Az oldal egyes részei gépi vagy AI fordításúak lehetnek.