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:

Feel free to share the link with anyone that might be interested.


[1] A Three-Tier Strategy For Reasoning About Floating-Point Numbers in SMT. In CAV 2017

Mohamed Iguernlala
Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI

Why3-club mailing list

Reply via email to