Beyond Vibe Coding: Formal Verification for AI-Generated Software
📅 21 de octubre de 2026 a las 21:30
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 dem