Newer
Older
1
2
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
@inproceedings{DBLP:conf/cav/Venet12,
author = {Arnaud Venet},
title = {The Gauge Domain: Scalable Analysis of Linear Inequality Invariants},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
pages = {139--154},
year = {2012},
crossref = {DBLP:conf/cav/2012},
url = {http://dx.doi.org/10.1007/978-3-642-31424-7_15},
doi = {10.1007/978-3-642-31424-7_15},
timestamp = {Tue, 03 Jul 2012 08:52:37 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/Venet12},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
publisher = {Springer},
year = {2012},
url = {http://dx.doi.org/10.1007/978-3-642-31424-7},
doi = {10.1007/978-3-642-31424-7},
isbn = {978-3-642-31423-0},
timestamp = {Tue, 03 Jul 2012 08:38:09 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/2012},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/JeannetM09,
author = {Bertrand Jeannet and
Antoine Min{\'{e}}},
title = {Apron: {A} Library of Numerical Abstract Domains for Static Analysis},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
pages = {661--667},
year = {2009},
crossref = {DBLP:conf/cav/2009},
url = {http://dx.doi.org/10.1007/978-3-642-02658-4_52},
doi = {10.1007/978-3-642-02658-4_52},
timestamp = {Thu, 25 Jun 2009 12:22:34 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/JeannetM09},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
publisher = {Springer},
year = {2009},
url = {http://dx.doi.org/10.1007/978-3-642-02658-4},
doi = {10.1007/978-3-642-02658-4},
isbn = {978-3-642-02657-7},
timestamp = {Thu, 25 Jun 2009 12:21:10 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/2009},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@Manual{FCUserMan,
title = {Frama-C User Manual},
author = {Loïc Correnson and Pascal Cuoq and Florent Kirchner and
André Maroneze and Virgile Prevosto and Armand Puccetti and
Julien Signoles and Boris Yakobowski},
organization = {CEA, List},
note = {Available at \url{https://frama-c.com/download/frama-c-user-manual.pdf}}}
@manual{plugin-dev-guide,
author = {Julien Signoles and Thibaud Antignac and Loïc Correnson and Matthieu Lemerre and
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}},
}
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
114
115
116
117
@inproceedings{DBLP:conf/sas/JacqueminPV18,
author = {Maxime Jacquemin and
Sylvie Putot and
Franck V{\'{e}}drine},
title = {A Reduced Product of Absolute and Relative Error Bounds for Floating-Point
Analysis},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
pages = {223--242},
year = {2018},
crossref = {DBLP:conf/sas/2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_15},
doi = {10.1007/978-3-319-99725-4\_15},
timestamp = {Wed, 29 Aug 2018 12:03:18 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/JacqueminPV18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2018,
editor = {Andreas Podelski},
title = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4},
doi = {10.1007/978-3-319-99725-4},
isbn = {978-3-319-99724-7},
timestamp = {Wed, 29 Aug 2018 12:01:12 +0200},
biburl = {https://dblp.org/rec/bib/conf/sas/2018},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{trace-partitioning,
author = {Rival, Xavier and Mauborgne, Laurent},
title = {The Trace Partitioning Abstract Domain},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {August 2007},
volume = {29},
number = {5},
month = aug,
year = {2007},
issn = {0164-0925},
articleno = {26},
url = {http://doi.acm.org/10.1145/1275497.1275501},
doi = {10.1145/1275497.1275501},
acmid = {1275501},
publisher = {ACM},
address = {New York, NY, USA},
Andre Maroneze
committed
}
@manual{acsl,
author = {Baudin, Patrick and Cuoq, Pascal and Filli\^{a}tre, Jean-Christophe and
March\'{e}, Claude and Monate, Benjamin and Moy, Yannick and
Prevosto, Virgile},
month = jun,
note = {Available at \url{https://frama-c.com/download/acsl.pdf}}},
title = {{ACSL: ANSI/ISO C Specification Language. Version 1.17}},
year = {2021}
}