4 citations · 4 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…
cs.PL2023★ 4 cited
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Andreas Lindner, Karl Palmskog, Scott Constable +3
Control flow in unstructured programs can be complex and dynamic, which makes static analysis difficult. Yet, automated reasoning about unstructured control flow is important when…