Commit f9014912 authored by Julien Signoles's avatar Julien Signoles Committed by Allan Blanchard
Browse files

[publis] still ^M

parent 87de0406
......@@ -6,22 +6,22 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Frama-C General
### Manuals
### Manuals
- Loïc Correnson, Pascal Cuoq, Florent Kirchner, André Maroneze,
Virgile Prevosto, Armand Puccetti, Julien Signoles, and Boris Yakobowski.
**Frama-C User Manual.**
<http://frama-c.com/download/frama-c-user-manual.pdf>.
*The manual introducing common features to all analyzers.*
<!-- end list -->
<!-- end list -->
- Julien Signoles, Thibaud Antignac, Loïc Correnson, Matthieu Lemerre,
and Virgile Prevosto.
**Frama-C Plug-in Development Guide**.
<http://frama-c.com/download/frama-c-plugin-development-guide.pdf>.
*The manual for developing a Frama-C plug-in.*
<!-- end list -->
<!-- end list -->
- Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin
Monate, Yannick Moy, and Virgile Prevosto.
**ACSL: ANSI/ISO C Specification Language.**.
......@@ -47,10 +47,10 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
and Formal Methods 2012 (SEFM), October 2012.
*This paper presents a synthetic view of Frama-C, its main and
composite analyses, and some of its industrial achievements.*
<!-- end list -->
<!-- end list -->
#### Articles about the Frama-C Kernel
#### Articles about the Frama-C Kernel
- Julien Signoles.
**Software Architecture of Code Analysis Frameworks Matters:
The Frama-C Example.**
......@@ -59,7 +59,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*This papers presents the Frama-C architecture and discusses its design
choices.*
<!-- end list -->
- Loïc Correnson, and Julien Signoles.
**Combining Analyses for C Program Verification.**
In proceedings of International Workshop on Formal Methods for
......@@ -67,9 +67,9 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://julien.signoles.free.fr/publis/2012_fmics.pdf>
*This paper explains how Frama-C combines several partial results
coming from its plug-ins into a fully consolidated validity status
for each program property.*
for each program property.*
<!-- end list -->
- Pascal Cuoq, Damien Doligez, and Julien Signoles.
**Lightweight Typed Customizable Unmarshaling.**
In Workshop on ML, September 2011.
......@@ -87,14 +87,14 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://julien.signoles.free.fr/publis/2009_icfp.pdf>
*This experience report describes the choice of OCaml as the
implementation language for Frama-C.*
<!-- end list -->
<!-- end list -->
- Julien Signoles.
**Comment un chameau peut-il écrire un journal?**
In Journées Francophones des Langages Applicatifs (JFLA), January 2014.
In French.
*Presentation of the journalization mechanism of Frama-C.*
<!-- end list -->
<!-- end list -->
- Julien Signoles.
**Une bibliothèque de typage dynamique en OCaml.**
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment