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

Marion Guthmuller 1, *
* Corresponding author
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.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-00758351
Contributor : Marion Guthmuller <>
Submitted on : Thursday, November 29, 2012 - 1:42:24 PM
Last modification on : Tuesday, December 18, 2018 - 4:26:02 PM
Long-term archiving on : Saturday, December 17, 2016 - 4:26:19 PM

File

paper4.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00758351⟩

Share

Metrics

Record views

239

Files downloads

141