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

[publis] size of titles

parent f9014912
......@@ -6,7 +6,7 @@ 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.
......@@ -30,7 +30,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
Frama-C.*
<!-- end list -->
### Founding Articles
#### Founding Articles
- Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles,
and Boris Yakobowski.
......@@ -112,7 +112,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
projects.*
<!-- end list -->
### Tutorials
#### Tutorials
- Allan Blanchard, Nikolai Kosmatov, and Frédéric Loulergue.
**A Lesson on Verification of IoT Software with Frama-C.**
......@@ -131,7 +131,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Eva
### Manual
#### Manual
- David Bühler, Pascal Cuoq, Boris Yakobowski, Matthieu Lemerre,
André Maroneze, Valentin Perelle, and Virgile Prevosto.
......@@ -139,7 +139,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
<http://frama-c.com/download/frama-c-eva-manual.pdf>.
<!-- end list -->
### Thesis
#### Thesis
- David Bühler.
**EVA, an Evolved Value Analysis for Frama-C: structuring an abstract
......@@ -147,7 +147,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
PhD Thesis, University of Rennes 1, March 2017.
<http://http://www.theses.fr/2017REN1S016>
### Founding Articles
#### Founding Articles
- Sandrine Blazy, David Bühler, and Boris Yakobowski.
**Structuring Abstract Interpreters through State and Value
......@@ -166,7 +166,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*Presentation of one of the most important internal datastructure of Eva.*
<!-- end list -->
### Other Articles
#### Other Articles
- Géraud Canet, Pascal Cuoq and Benjamin Monate.
**A Value Analysis for C Programs.**
......@@ -185,7 +185,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# WP
### Manual
#### Manual
- Patrick Baudin, François Bobot, Loïc Correnson, and Zaynah Dargaye.
**WP Plug-in Manual.**
......@@ -193,7 +193,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*The official manual for the WP plug-in.*
<!-- end list -->
### Founding Articles
#### Founding Articles
- Loïc Correnson.
**Qed. Computing What Remains to Be Proved.**
......@@ -202,7 +202,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
before sending them to provers.*
<!-- end list -->
### Tutorials
#### Tutorials
- Allan Blanchard.
** Introduction to C Program Proof with Frama-C and its WP plug-in.**
......@@ -228,7 +228,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# E-ACSL
### Manual
#### Manual
- Julien Signoles and Kostyantyn Vorobyov.
**E-ACSL User Manual.**
......@@ -242,7 +242,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
*The reference manual of the E-ACSL specification language.*
<!-- end list -->
### Thesis
#### Thesis
- Julien Signoles.
**From Static Analysis to Runtime Verification with Frama-C and E-ACSL.**
......@@ -304,14 +304,14 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Aoraï
#### Manual
##### Manual
- Nicolas Stouls.
**Aoraï Plug-in Tutorial.**
<http://frama-c.com/download/aorai/aorai-manual.pdf>.
*The official manual of the Frama-C plug-in Aoraï.*
#### Founding Article
##### Founding Article
- Julien Groslambert and Nicolas Stouls.
**Vérification de propriétés LTL sur des programmes C par génération
......@@ -321,7 +321,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
Développement de Logiciels 2009 (AFADL'09), January 2009. In
French.
#### Case studies
##### Case studies
- See [this page](/assets/dokuwiki/aorai-security) for a case study
showing the use of Aoraï in generating a threat scenario in a
......@@ -330,7 +330,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# Security Slicing
#### Founding Article
##### Founding Article
- Benjamin Monate and Julien Signoles.
**Slicing for Security of Code.**
......@@ -359,13 +359,13 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
# PathCrawler
#### Manual
##### Manual
* **PathCrawler Automatic Test Generation Tool For C Programs User Manual Version 3.1.**
<http://frama-c.com/download/frama-c-pathcrawler.pdf>.
*The user manual of the Frama-C plug-in PathCrawler.*
#### Founding Articles
##### Founding Articles
- Nicky Williams, Bruno Marre and Patricia Mouy.
**On-the-fly generation of k-paths tests for C functions :
......@@ -390,7 +390,7 @@ This page is dedicated to publications related to Frama-C. It is not exhaustive,
The final publication is available at www.springerlink.com.
<http://dx.doi.org/10.1007/11408901_21>
#### Other Articles
##### Other Articles
- Nicky Williams.
**WCET measurement using modified path testing.**
......@@ -520,12 +520,12 @@ These plug-ins may be either closed or open source.
## Jessie
### Manual
#### Manual
- The main web page, including the manual and many other resources, is
<http://krakatoa.lri.fr/>
### Thesis
#### Thesis
- Yannick Moy.
**Automatic Modular Static Safety Checking for C Programs.**
......@@ -547,7 +547,7 @@ These plug-ins may be either closed or open source.
Thèse de doctorat, Université Paris-Sud, October 2011.
<http://proval.lri.fr/publications/bardou11phd.pdf>.
### Founding Articles
#### Founding Articles
- Yannick Moy and Claude Marché.
**Modular inference of subprogram contracts for safety checking.**
......@@ -674,7 +674,7 @@ These plug-ins may be either closed or open source.
Portugal, March 2007.
<http://www.lri.fr/~marche/hubert07hav.pdf>
### Other Articles
#### Other Articles
- Jochen Burghardt, Jens Gerlach, Hans Pohl and Juan Soto.
**An Experience Report on the Verification of Algorithms in the C++
......
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