activity
20232026
most citedAutomatic Program Instrumentation for Automatic Verification (Extended Technical Report)

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.PLShow all

1 paper · 2 filters

cs.PL2026

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…