Community· Birmingham
Verifying AI-Generated Code
This talk applies safety-critical engineering practices—consequence-based risk classification, requirements-as-contracts, and evidence-driven verification like MC/DC coverage—to reviewing AI-generated code, featuring a live demo of tracing a real Omarchy bug from requirement to verified fix using Proof.