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
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00916581
Contributor : Laurent Vigneron <>
Submitted on : Tuesday, December 10, 2013 - 2:30:33 PM
Last modification on : Friday, July 6, 2018 - 3:06:09 PM

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

309