Précédent : Optimisation du micro-noyau IBM Remonter : Actions industrielles Suivant : Preuve de propriétés de sécurité

Aide à la production de jeux de tests

Participants : Daniel Le Métayer, Lionel Van Aertryck

Pour ce qui concerne les applications de l'analyse de programmes, nous poursuivons une collaboration avec la société rennaise AQL qui se concrétise par une bourse Cifre (1994-1997). 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.