E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (2017)

<p>Abstract: "This tool paper presents E-ACSL, a runtime verification tool for C programs capable of checking a broad range of safety and security properties expressed using a formal specification language. E-ACSL consumes a C program annotated with formal specifications and generates a new C program that behaves similarly to the original if the formal properties are satisfied, or aborts its execution whenever a property does not hold. This paper presents an overview of E-ACSL and its specification language."</p>

Read the full article at easychair.org →