Checking the HAL Interface Specification Continuously, Right from the Start

Manuel Bentele, Onur Altinordu, Jan Körner +2

The correct use of a Hardware Abstraction Layer (HAL) interface in embedded applications is crucial to prevent malfunctions, crashes, or even hardware damage. Software model checki…