research
∙
02/27/2020
Bringing freedom in variable choice when searching counter-examples in floating point programs
Program verification techniques typically focus on finding counter-examp...
share
research
∙
02/27/2020
An efficient constraint based framework forhandling floating point SMT problems
This paper introduces the 2019 version of , a novel Constraint Programmi...
research
∙
10/17/2019
