HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [8 references]  Display  Hide  Download

Contributor : Marion Guthmuller Connect in order to contact the contributor
Submitted on : Thursday, November 29, 2012 - 1:42:24 PM
Last modification on : Saturday, October 16, 2021 - 11:26:07 AM
Long-term archiving on: : Saturday, December 17, 2016 - 4:26:19 PM


Files produced by the author(s)


  • HAL Id : hal-00758351, version 1



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⟩



Record views


Files downloads