* Introducing Frama-C
@ 2008-05-26 16:25 Virgile Prevosto
0 siblings, 0 replies; only message in thread
From: Virgile Prevosto @ 2008-05-26 16:25 UTC (permalink / raw)
To: Caml list, coq-club, why-discuss, frama-c-discuss,
espass-admin-members, Focal
Greetings.
The Frama-C development team is proud to announce the availability
of Frama-C, the framework for the development of collaborating
static analyzers for the C language. Many analyzers are provided in the
distribution, including a value analysis plug-in that provides variation
domains for the variables of the program, and Jessie, a plug-in
for computing Hoare style weakest preconditions.
Frama-C is Open Source software. It is written in Ocaml and relies
on the CIL (C Intermediate Language) library.
Additional information, source code and documentation for Frama-C
are available now at http://frama-c.cea.fr/. Binary distributions for
various popular environments will be forthcoming.
For the Frama-C development team,
--
Pascal Cuoq and Virgile Prevosto
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-05-26 16:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-05-26 16:25 Introducing Frama-C Virgile Prevosto
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox