@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}},
}

@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},
}

@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}
}