Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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

Abstract

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
No file

Dates and versions

hal-00916581 , version 1 (10-12-2013)

Identifiers

  • HAL Id : hal-00916581 , version 1

Cite

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⟩
118 View
0 Download

Share

Gmail Facebook X LinkedIn More