ANSI/ISO C Specification Language
id:
ansi-iso-c-specification-language-194-4659199
title:
ANSI/ISO C Specification Language
text:
The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as C annotation comments to the C program, which hence can be compiled with any C compiler. The current verification tool for ACSL is Frama-C. It also implements a sister language, ANSI/ISO C++ Specification Language (ACSL++), defined for C++.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language
date created:
date modified:
2024-03-25T10:53:03Z
main entity:
{"identifier":"Q4653031","url":"https://www.wikidata.org/entity/Q4653031"}
image:
fields total:
13
integrity:
13