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

_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to