École Nationale Supérieure de
Techniques Avancées

Résumé

Ce document présente une analyse détaillée d’algorithmes numériques complexes,mettant l’accent sur l’utilisation de domaines abstraits et symboliques pour garantir leur stabilité et leur fiabilité. Nous proposons une méthodologie structurée pour modéliser, analyser et valider ces algorithmes, en utilisant des outils d’interprétation abstraite pour générer et vérifier les invariants inductifs. Cette approche permet de s’assurer que les algorithmes fonctionnent correctement sous toutes les conditions possibles, ce qui rend plus maintenables leur implémentation ainsi que la vérification de celles-ci.