-
Constraint solver over floating-point numbers designed for program verification
The verification of programs with floating-point numbers computation is an important issue in the development of critical software systems. Computations over... -
Une approche CSP pour l'aide à la localisation d'erreurs
10 pageshttp://jfpc-jiaf2014.univ-angers.fr/jfpc/ -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture.
