TY  - RPRT
TI  - Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
AU  - Ran Wei
AU  - Le Zhu
AU  - Haochi Wang
AU  - Jim Woodcock
AU  - Fang Yan
AU  - Simon Foster
AU  - Xiangyang Ji
PY  - 2026
UR  - https://arxiv.org/abs/2606.22413
ID  - 2606.22413
ER  -