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

Laurent Vigneron (1)

1 CASSIS - Combination of approaches to the security of infinite states systems

Cet exposé présente différents exemples d'applications concrètes de méthodes formelles pour l'analyse et la vérification de systèmes complexes dans des domaines très variés, comme les mathématiques, la normalisation en réécriture et le sécurité des communications

Domaines: Logique en informatique [cs.LO]

Laurent Vigneron. Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. ⟨hal-00916581⟩