TY  - RPRT
TI  - Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
AU  - Jesper Amilon
AU  - Merlijn Sevenhuijsen
AU  - Mattias Nyberg
AU  - Karl Palmskog
PY  - 2026
UR  - https://arxiv.org/abs/2605.21532
ID  - 2605.21532
ER  -