Skip to Main content Skip to Navigation
Conference papers

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00916581
Contributor : Laurent Vigneron Connect in order to contact the contributor
Submitted on : Tuesday, December 10, 2013 - 2:30:33 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM

Identifiers

  • HAL Id : hal-00916581, version 1

Citation

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⟩

Share

Metrics

Record views

345