Précédent : GIHP-Champagne Remonter : Actions industrielles Suivant : Actions nationales et internationales

Cnet

Participants : Adel Bouhoula, Claude Kirchner, Michaël Rusinowitch, Sorin Stratulat

Le but de ce projet est de mettre à profit les techniques de preuve automatique dans le cadre de la spécification et de la vérification d'applications liées aux télécommunications. Nous espérons couvrir au moyen de l'induction certains cas où le nombre d'états du système est infini. Nous avons effectué une étude de cas sur une version très simplifiée d'un problème de détection d'interaction de services. Il s'agit de combinaisons de services du types renvoi d'appels et filtrage d'appels par liste noire  [58].