@misc{indiciae97d331263c16,
  title = {Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering},
  author = {Ran Wei and Le Zhu and Haochi Wang and Jim Woodcock and Fang Yan and Simon Foster and Xiangyang Ji},
  year = {2026},
  url = {https://arxiv.org/abs/2606.22413},
  note = {Source identifier: 2606.22413}
}