Parameterized Verification of Track Topology Aggregation Protocols

Abstract : We present an approach for the verification aggregation protocols, which may be used to perform critical tasks and thus should be verified. We formalize the class of track topology aggregation protocols and provide a parameterized proof of correctness where the problem is reduced to checking a property of the node’s aggregation algorithm. We provide a verification rule based on our property and illustrate the approach by verifying a non-trivial aggregation protocol.
Type de document :
Communication dans un congrès
Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.35-49, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01515244
Contributeur : Hal Ifip <>
Soumis le : jeudi 27 avril 2017 - 10:46:49
Dernière modification le : jeudi 27 avril 2017 - 14:43:59
Document(s) archivé(s) le : vendredi 28 juillet 2017 - 12:41:22

Fichier

978-3-642-38592-6_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Sergio Feo-Arenis, Bernd Westphal. Parameterized Verification of Track Topology Aggregation Protocols. Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7892, pp.35-49, 2013, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-38592-6_4〉. 〈hal-01515244〉

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

16