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

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.