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
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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
Type de document :
Communication dans un congrès
Souquières, Jeanine and Wiels, Virginie. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00916581
Contributeur : Laurent Vigneron <>
Soumis le : mardi 10 décembre 2013 - 14:30:33
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Identifiants

  • HAL Id : hal-00916581, version 1

Citation

Laurent Vigneron. Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. Souquières, Jeanine and Wiels, Virginie. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. 2013. 〈hal-00916581〉

Partager

Métriques

Consultations de la notice

260