To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
This package contains the Frama-C's E-ACSL plug-in.
It takes as input an annotated C program and returns the same program in which annotations have been converted into C code dedicated to runtime assertion checking: this code fails at runtime if the annotation is violated at runtime.
Annotations must be written in a subset of ACSL (ANSI/ISO C Specification Language), namely E-ACSL (Executable ANSI/ISO C Specification Language). E-ACSL is fully described at http://frama-c.com/download/e-acsl/e-acsl.pdf
Tagsprogram verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
Published: 28 Jul 2015
>= "3.12" & != "4.02.0"
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >
On This Page