@misc{indiciae71262c45db1a, title = {Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems}, author = {Sven Kirchner and Alois C. Knoll}, year = {2025}, url = {https://arxiv.org/abs/2506.04038}, note = {Source identifier: 2506.04038} }