package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Edit opam file Versions (36)

Authors

Maintainers

F

francois.bobot@cea.fr

Sources

frama-c-Chlorine-20180502.tar.gz

sha256=ecc9f5822294b76c345973858a6d8da940bae4042b394ffd3d25fd60114499d4

md5=5c152f0859880d48f98377de59d6328a

Description

Tags

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

Published: 30 Oct 2018

Dependencies (10)

conf-graphviz post
alt-ergo
conf-gnomecanvas
conf-gtksourceview
lablgtk >= "2.18.2"
conf-autoconf build
zarith
ocamlfind
ocamlgraph >= "1.8.8" & < "1.9~"
ocaml >= "4.02.3" & < "4.08.0"

Dev Dependencies

None

Used by (2)

pilat < "1.3"
why < "2.32"

Conflicts (6)

frama-c-base
frama-c-e-acsl
lablgtk < "2.18.2"
coq < "8.4.6"
why3-base >= "1.0.0"
why3-base < "0.88"

On This Page

Description
Dependencies (10)
Dev Dependencies
Used by (2)
Conflicts (6)