Rob Helmer's blog posts matching the tag: formal-verification

2/21/2026 · 4 min read

Agent-Driven Engineering: My 2026 Formal Spec Workflow

Augmenting CI/CD with continuous agency. Using formal specs to power autonomous AI agents and accelerated playtesting.