6 search results for "tag:"ACSL""

Showing 1 - 6

frama-c
Documentation

Platform dedicated to the analysis of source code written in C

deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification

Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.

30.0~beta

LGPL-2.1-only

Used by 3 other packages

12 Nov 2024
frama-c-base

No documentation

Platform dedicated to the analysis of source code written in C.

deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification

Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.

15.0

LGPL-2.1-only

Used by 2 other packages

30 Oct 2018
frama-c-e-acsl
Documentation

This package contains the Frama-C's E-ACSL plug-in.

program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL

Julien Signoles Guillaume Petiot

0.5

LGPL-2.1-only

Used by 0 other packages

28 Jul 2015
frama-c-metacsl
Documentation

MetAcsl plugin of Frama-C for writing pervasives properties

program verification formal specification C plugins ACSL MetACSL

Virgile Robles Téo Bernier Nikolai Kosmatov

0.8~beta

LGPL-2.1-only

Used by 0 other packages

18 Nov 2024
frama-clang

No documentation

Frama-C plug-in based on Clang for parsing C++ files

formal specification C++ plugins ACSL ACSL++

Virgile Prevosto

0.0.16

LGPL-2.1-only

Used by 0 other packages

18 Sep 2024
why

No documentation

Why is a software verification platform.

deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL

Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou

2.41

LGPL-2.1-only

Used by 0 other packages

03 Jul 2018