Méthodes d'analyse statique de pire temps d'exécution de programmes
Abstract
Pour de nombreux systèmes physiques interagissant avec leur milieu extérieur, l'intégrité du système n'est garantie que si certaines contraintes de temps sont strictement respectées. Connaître le pire temps d'exécution d'un programme est une manière - pessimiste mais sûre - d'offrir une telle garantie.