Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)

Manamiary Bruno Andriamiarina 1, 2 Dominique Méry 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Software-based systems have a strong impact in the daily life. For instance, systems like televisions, cell phones, credit cards are used for persons, while others systems, like networks, telecommunications, distributed and embedded devices, supercomputers, are used by organisations such as companies, governments, nations... Several countries, especially the advanced ones, rely on systems for the efficiency of domains like economy, health... Since they are needed in daily life, those systems should be reliable, and their specifications and design must be clear, understandable and should follow specific rules and they must avoid faults, failures and if they can not, they should at least be fault-tolerant and fail-safe. Therefore, because of those requirements, "Formal Verification" can be usefull to obtain an assurance and guarantee of their correctness with respect to safety and security issues.
Type de document :
[Technical Report] LORIA - Université de Lorraine. 2011, pp.90
Liste complète des métadonnées

Littérature citée [43 références]  Voir  Masquer  Télécharger
Contributeur : Manamiary Bruno Andriamiarina <>
Soumis le : jeudi 20 novembre 2014 - 16:21:18
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25
Document(s) archivé(s) le : lundi 23 février 2015 - 08:50:29


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00606254, version 2



Manamiary Bruno Andriamiarina, Dominique Méry. Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report). [Technical Report] LORIA - Université de Lorraine. 2011, pp.90. 〈inria-00606254v2〉



Consultations de la notice


Téléchargements de fichiers