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-19.1-Potassium.tar.gz

sha256=2def511c3cf4b0362bd67520bc48345c5093754c70de7c712b9af9b12561ba9b

md5=439bfca103e6ceb726df3fc993334d57

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: 02 Oct 2019

Dependencies (14)

yojson
conf-graphviz post
alt-ergo
alt-ergo-free
conf-gtksourceview
lablgtk3-sourceview3
lablgtk3 >= "3.0.beta4" & os != "macos"
conf-gnomecanvas
lablgtk >= "2.18.2"
conf-autoconf build
zarith
ocamlfind
ocamlgraph >= "1.8.8" & < "1.9~"
ocaml >= "4.02.3" & (< "4.08.0~" | >= "4.08.1")

Dev Dependencies (2)

conf-python-2-7 with-test
conf-time with-test

Used by (2)

pilat < "1.3"
why < "2.32"

Conflicts (6)

frama-c-base
frama-c-e-acsl
lablgtk < "2.18.2"
why3 >= "1.4.0"
why3 < "1.0.0"
why3-base

On This Page

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