Formal Verification of Netlog Protocols

Meixian Chen 1 Jean-François Monin 2, 3
1 BASICS
BASICS - BASICS
2 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Résumé : Des languages orientés données basés sur des règles récursives ont été proposés pour programmer les applications distribuées sur des réseaux. Ils simplifient grandement le codage tout en admettant une exécution efficace. Ils offrent également une approche prometteuse pour les problèmes de verification qui sont délicats en distribué \cite{discotec11}. Nous illustrons ici notre approche sur deux protocoles non triviaux et discutons la mise en oeuvre de nore approche en Coq.
Type de document :
Communication dans un congrès
Tiziana Margaria and Zongyan Qiu and Hongli Yang. TASE, Jul 2012, Beijing, China. IEEE, 2012
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00733634
Contributeur : Jean-François Monin <>
Soumis le : mercredi 19 septembre 2012 - 15:37:03
Dernière modification le : mardi 17 avril 2018 - 11:30:47
Document(s) archivé(s) le : jeudi 20 décembre 2012 - 03:46:04

Fichier

tase.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00733634, version 1

Collections

Citation

Meixian Chen, Jean-François Monin. Formal Verification of Netlog Protocols. Tiziana Margaria and Zongyan Qiu and Hongli Yang. TASE, Jul 2012, Beijing, China. IEEE, 2012. 〈hal-00733634〉

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

122