Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code

Jesper Amilon, Merlijn Sevenhuijsen, Mattias Nyberg +1

Code contracts provide a robust way to specify functional requirements of safety-critical software in embedded systems. For example, the ANSI/ISO C Specification Language (ACSL) ca…