ANSI/ISO C Specification 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.
ANSI/ISO C Specification 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.
has abstract
The ANSI/ISO C Specification L ...... tion tool for ACSL is Frama-C.
@en
influenced by
latest release version
Link from a Wikipage to an external page
Wikipage page ID
22,652,294
Wikipage revision ID
728,157,052
implementations
an implementation is in the Frama-C platform.
latest release date
paradigm
declarative with few imperative features.
typing
comment
The ANSI/ISO C Specification L ...... tion tool for ACSL is Frama-C.
@en
label
ANSI/ISO C Specification Language
@en
wasDerivedFrom
isPrimaryTopicOf
name
ANSI/ISO C Specification Language
@en