Résolution de contraintes sur les flottants dédiée à la vérification de programmes
La vérification de programmes avec des calculs sur les nombres à virgule flottante est une étape très importante dans le développement de logiciels critiques. Les calculs sur les nombres flottants sont généralement imprécis, et peuvent dans certains cas diverger par rapport au résultat attendu sur l...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Nice Sophia Antipolis
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00937667 http://tel.archives-ouvertes.fr/docs/00/93/76/67/PDF/2013NICE4121.pdf |