Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels

Abstract

La mise en oeuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l'arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C'est pourquoi nous présentons dans cet article une nouvelle méthode de résolution de contraintes sur les nombres à virgule flottante qui consiste à les approximer sur les réels. En construisant des approximations sur les réels, fines et conservatives des solutions des contraintes sur les nombres à virgule flottante, cette méthode permet de s'appuyer sur l'utilisation d'algorithmes de filtrage sur les réels pour résoudre des problèmes sur les nombres à virgule flottante. Il devient ainsi possible de repousser les limitations actuelles des solveurs de contraintes sur les nombres à virgules flottantes, telles que le problème du passage à l'échelle, pour générer des jeux de tests, ou vérifier des programmes plus conséquents que ceux traités jusqu'à maintenant.
Fichier principal
Vignette du fichier
michel.pdf (260.98 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520370 , version 1 (23-09-2010)

Identifiers

  • HAL Id : inria-00520370 , version 1

Cite

Mohammed Said Belaid, Claude Michel, Michel Rueher. Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.51-60. ⟨inria-00520370⟩
178 View
140 Download

Share

Gmail Facebook X LinkedIn More