en fr Specification and validation of systems in Xesar Spécification et validation de systèmes en Xesar Report as inadecuate




en fr Specification and validation of systems in Xesar Spécification et validation de systèmes en Xesar - Download this document for free, or read online. Document in PDF available to download.

1 IMAG - Institut d-Informatique et de Mathématiques Appliquées de Grenoble

Résumé : Étude de méthodes de spécification et vérification des protocoles de communication. La méthode de vérification mise en œuvre consiste a évaluer les spécifications du protocole sur un modèle fini qui le représente. Le langage de spécification est basé sur un mu calcul permettant l-expression aussi bien de comportements que de propriétés

Mots-clés : processus communicants protocoles spécification vérification validation logiques temporelles modèles





Author: Carlos Rodriguez -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents