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...
research
∙
02/27/2020