Specification and Design of the Leader Election Protocol of IEEE 1394

Jean-Raymond Abrial Dominique Cansell 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This document is intended to contain a progress report on what we have done so far on the specification and design the Leader Election Protocol of IEEE 1394. We have used the B Method and the corresponding tool, Atelier B. Within the B Method, we have used, so-called, Event Driven Approach.
keyword : méthode b b method incremental development teorem proving développement incrémental preuves ieee 1394
Type de document :
Communication dans un congrès
S. Maharaj and J. Romijn and C. Shankland. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, University of Stirling, 3 p, 2001
Liste complète des métadonnées
https://hal.inria.fr/inria-00100598
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:48:01
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

  • HAL Id : inria-00100598, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394. S. Maharaj and J. Romijn and C. Shankland. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, University of Stirling, 3 p, 2001. 〈inria-00100598〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

173

Contact


archive-ouverte@inria.fr