TY  - RPRT
TI  - Checking the HAL Interface Specification Continuously, Right from the Start
AU  - Manuel Bentele
AU  - Onur Altinordu
AU  - Jan Körner
AU  - Andreas Podelski
AU  - Axel Sikora
PY  - 2025
UR  - https://arxiv.org/abs/2512.16897
ID  - 2512.16897
ER  -