Program
Verification
Book

ACSL

ACSL: ANSI/ISO C Specification Language

Comments

Behavioural specification language for C programs inspired by JML.

Specification format

Links

https://frama-c.com/html/acsl.html

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.