Vericoding: Formal Verification for AI Code Generation

Introduction