Newer
Older
@manual{plugin-dev-guide,
author = {Julien Signoles and Thibaud Antignac and Loïc Correnson and Matthieu Lemerre and
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
Virgile Prevosto},
title = {{Frama-C Plug-in Development Guide}},
year = 2015,
month = feb,
note = {\newline \url{http://frama-c.com/download/frama-c-plugin-development-guide.pdf}},
}
@manual{value,
author = {Pascal Cuoq and Boris Yakobowski and Virgile Prevosto},
title = {{Frama-C}'s value analysis plug-in},
year = 2015,
month = feb,
note = {\mbox{\url{http://frama-c.com/download/frama-c-eva-manual.pdf}}},
}
@manual{acsl,
author = {Baudin, Patrick and Filli\^{a}tre, Jean-Christophe and
March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
Prevosto, Virgile},
month = mar,
title = {{ACSL: ANSI/ISO C Specification Language. Version 1.8}},
year = {2014}
}
@manual{acsl-implem,
author = {Baudin, Patrick and Pascal Cuoq and Filli\^{a}tre, Jean-Christophe
and March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
Prevosto, Virgile},
month = mar,
title = {ACSL: ANSI/ISO C Specification Language. Version 1.8 ---
Frama-C Oxygen implementation.},
year = {2014}
}
@misc{slicing,
author = {Patrick Baudin and Anne Pacalet},
title = {Slicing plug-in},
note = {\mbox{\url{http://frama-c.com/slicing.html}}},
}
@manual{wp,
author = {Loïc Correnson and Zaynah Dargaye and Anne Pacalet},
title = {{Frama-C}'s {WP} plug-in},
year = 2015,
month = feb,
note = {\mbox{\url{http://frama-c.com/download/frama-c-wp-manual.pdf}}},
}
@manual{rte,
author = {Philippe Herrmann and Julien Signoles},
title = {Annotation Generation: {Frama-C}'s {RTE} plug-in},
year = 2013,
month = apr,
note = {\mbox{\url{http://frama-c.com/download/frama-c-rte-manual.pdf}}},
}
@manual{aorai,
author = {Nicolas Stouls and Virgile Prevosto},
title = {{Frama-C}'s {Aora\"i} plug-in},
year = 2013,
month = apr,
note = {\mbox{\url{http://frama-c.com/download/frama-c-aorai-manual.pdf}}},
}
@inproceedings{fmics12,
author = {Loïc Correnson and Julien Signoles},
title = {{Combining Analysis for C Program Verification}},
booktitle = {{Formal Methods for Industrial Critical Systems (FMICS)}},
year = 2012,
month = Aug,
}
@inproceedings{sefm12,
author = {Pascal Cuoq and Florent Kirchner and Nikolai Kosmatov and Virgile
Prevosto and Julien Signoles and Boris Yakobowski},
title = {{Frama-C, A software Analysis Perspective}},
booktitle = {{Software Engineering and Formal Methods (SEFM)}},
year = 2012,
month = oct,
}
@article{fac15,
year={2015},
journal={Formal Aspects of Computing},
title={Frama-C: A software analysis perspective},
publisher={Springer London},
keywords={Formal verification; Static analysis; Dynamic analysis; C},
author={Kirchner, Florent and Kosmatov, Nikolai and Prevosto, Virgile and Signoles, Julien and Yakobowski, Boris},
pages={1-37},
language={English},
note={Extended version of \cite{sefm12}},
}
@inproceedings{sac13,
author = {M. Delahaye and N. Kosmatov and J. Signoles},
title = {Common Specification Language for Static and Dynamic Analysis of
{C} Programs},
booktitle = {the 28th Annual ACM Symposium on Applied Computing ({SAC})},
publisher = {ACM},
year = 2013,
month = mar,
pages = {1230--1235},
}
@manual{eacsl,
title = {Frama-C's E-ACSL Plug-in},
author = {Julien Signoles},
year = {2015},
month = feb,
note = {\url{http://frama-c.com/eacsl.html}},
}