--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on August 2017 ---
Dear all, I would like to inform you that the material (benchmarks, solvers, ...) that we used for the evaluation of our approach [1] for floating-point arithmetic reasoning in Alt-Ergo is available here: https://gitlab.com/OCamlPro-Iguernlala/Three-Tier-FPA-Benchs/tree/eval-FPA-CAV-2017 Feel free to share the link with anyone that might be interested. Regards, [1] A Three-Tier Strategy For Reasoning About Floating-Point Numbers in SMT. In CAV 2017 https://gitlab.com/OCamlPro-Iguernlala/Three-Tier-FPA-Benchs/blob/eval-FPA-CAV-2017/misc/paper-submitted-CAV-2017--Authors-version.pdf -- Mohamed Iguernlala Senior R&D Engineer, OCamlPro SAS Research Associate, VALS team, LRI Webpage: http://www.iguer.xyz LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979