State equality detection for implementation-level model-checking of distributed applications

Marion Guthmuller 1, *
* Auteur correspondant
1 ALGORILLE - Algorithms for the Grid
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : The work presented in this paper occurs in the context of validating implementations of distributed algorithms through model- checking. Among the properties that can be checked, we focus on the verification of liveness properties and the detection of acceptance cycle. We propose a new heap comparison algorithm based on a re-implementation of malloc, which reduces the amount of false negatives in the system state equality detection, thanks to system-level information analysis.
Type de document :
Communication dans un congrès
18th International Symposium on Formal Methods - Doctoral Symposium, Aug 2012, Paris, France. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00758351
Contributeur : Marion Guthmuller <>
Soumis le : jeudi 29 novembre 2012 - 13:42:24
Dernière modification le : mardi 18 décembre 2018 - 16:26:02
Document(s) archivé(s) le : samedi 17 décembre 2016 - 16:26:19

Fichier

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

Identifiants

  • HAL Id : hal-00758351, version 1

Collections

Citation

Marion Guthmuller. State equality detection for implementation-level model-checking of distributed applications. 18th International Symposium on Formal Methods - Doctoral Symposium, Aug 2012, Paris, France. 2012. 〈hal-00758351〉

Partager

Métriques

Consultations de la notice

222

Téléchargements de fichiers

104