State equality detection for implementation-level model-checking of distributed applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Marion Guthmuller
  • Function : Correspondent author
  • PersonId : 891939

Connectez-vous pour contacter l'auteur

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.
Fichier principal
Vignette du fichier
paper4.pdf (155.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00758351 , version 1 (29-11-2012)

Identifiers

  • HAL Id : hal-00758351 , version 1

Cite

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. ⟨hal-00758351⟩
113 View
72 Download

Share

Gmail Facebook X LinkedIn More