17 citations · 21 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
Bringing freedom in variable choice when searching counter-examples in floating point programs
Heytem Zitoun, Claude Michel, Laurent Michel +1
Program verification techniques typically focus on finding counter-examples that violate properties of a program. Constraint programming offers a convenient way to verify programs…
cs.AI2020
An efficient constraint based framework forhandling floating point SMT problems
Heytem Zitoun, Claude Michel, Laurent Michel +1
This paper introduces the 2019 version of \us{}, a novel Constraint Programming framework for floating point verification problems expressed with the SMT language of SMTLIB. SMT so…