Fonenantsoa Maurica ANDRIANAMPOIZINIMARO

Promotion ESIROI : 2014 - Informatique et télécommunications

Sujet : Analyses de terminaison des calculs flottants.

Sous la direction de : Frédéric MESNARD

Résumé : La terminaison de programme est une thématique de la vérification logicielle dans laquelle on cherche à déterminer si un programme donné s'arrête après un certain temps d'exécution ou non. Ma thèse s'intéresse aux techniques de preuves qui y sont liées. Plus particulièrement, mes travaux de recherches ont pour objectifs d'adapter les techniques de preuves actuelles qui sont valables uniquement pour les programmes manipulant des nombres réels. En effet, les nombres réels sont approximés en machine par des nombres ayant des propriétés mathématiques très particulières : les nombres flottants.

Laboratoire de rattachement : LIM