Parameterized Verification of Track Topology Aggregation Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Parameterized Verification of Track Topology Aggregation Protocols

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-38592-6_4_Chapter.pdf (347 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01515244 , version 1 (27-04-2017)

Licence

Paternité

Identifiants

Citer

Sergio Feo-Arenis, Bernd Westphal. Parameterized Verification of Track Topology Aggregation Protocols. 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. pp.35-49, ⟨10.1007/978-3-642-38592-6_4⟩. ⟨hal-01515244⟩
81 Consultations
69 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More