Opam Package frama-c-metacsl.0.1

Package info

opam-nameframa-c-metacsl
opam-version0.1
synopsisMetACSL plugin of Frama-C for writing pervasives properties
description MetACSL let users write properties that need to be checked at particular contexts (e.g. each time a location is written to inside a given set of functions). It will then generate all the corresponding ACSL annotations, leaving it to analysis plug-ins (e.g. WP) to prove the resulting clauses.
authors
  • Virgile Robles
homepagehttps://frama-c.com/
licenseLGPL-2.1-only
deps (4)
revdeps(0)
metas(0)
libraries(0)

Package modules

Package sources

frama-c-metacsl

Package files

share/frama-c/metacsl/setloglib.slog
share/frama-c/metacsl/setlog_rules.pl
share/frama-c/metacsl/setlog.pl
share/frama-c/metacsl/run.pl
share/frama-c/metacsl/model.slog
share/frama-c/metacsl/SETLOG_LICENSE
share/frama-c/metacsl
lib/frama-c/plugins/top/MetAcsl.cmxs
lib/frama-c/plugins/top/MetAcsl.cmx
lib/frama-c/plugins/top/MetAcsl.cmo
lib/frama-c/plugins/MetAcsl.cmi
lib/frama-c/plugins/META.frama-c-metacsl