Participants : Daniel Le Métayer, Lionel Van Aertryck
Pour ce qui concerne les applications de l'analyse de programmes, nous entamons une collaboration avec la société rennaise AQL qui se concrétise par une bourse Cifre. Le but de cette action est d'appliquer des méthodes formelles mécanisées pour procurer une aide à la phase de test des programmes. La technique en cours d'étude repose sur une analyse de spécifications dans le langage Z.