E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) | Zendy

Julien Signoles | Zendy; Nikolaï Kosmatov | Zendy; Kostyantyn Vorobyov | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Julien Signoles,

Nikolaï Kosmatov,

Kostyantyn Vorobyov

Publication year - 2018

Publication title -

kalpa publications in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 2515-1762

DOI - 10.29007/fpdh

Subject(s) - computer science , runtime verification , programming language , formal verification , formal methods , formal specification , specification language , software engineering , refinement

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research