arXiv cs.SE· Elizaveta Zinovyeva, Aiham Taleb, Nikita Kozodoi, Daniel Schleicher, Amir Mahdi Namazi, Martin Kraus, Levent Kent, Brian Jensen·· 3 小时前AI 评分38
面向汽车安全关键软件工程的编码助手：生成与验证的人机协作
Generation and Verification: Human-Agent Collaboration for Safety-Critical Automotive Software Engineering
AI 导读
论文提出面向汽车 C/C++ 的编码助手，通过 Model Context Protocol 向用户开放 generate、edit、verify 三个工具，让开发者按需对任意代码运行 verify，而不是依赖智能体自查输出。
来源：arXiv cs.SE · arxiv.org