Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis

Cet expose presente differents exemples d'applications concretes de methodes formelles pour l'analyse et la verification de systemes complexes dans des domaines tres varies, comme les mathematiques, la normalisation en reecriture et le securite des communications