TY  - RPRT
TI  - The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK
AU  - Tobias Philipp
PY  - 2026
UR  - https://arxiv.org/abs/2607.14340
ID  - 2607.14340
ER  -