Tags: Programming Language.

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.

designer
Commissariat à l'énergie atomique et aux énergies alternatives, French Institute for Research in Computer Science and Automation
developer
Commissariat à l'énergie atomique et aux énergies alternatives, French Institute for Research in Computer Science and Automation
influenced by
Java Modeling Language
latest release version
2008

Loading...

This page contains content from the copyrighted Wikipedia article "ANSI/ISO C Specification Language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.