@article{azmy:hal-01768758, TITLE = {{A Machine-Checked Correctness Proof for Pastry}}, AUTHOR = {Azmy, Noran and Merz, Stephan and Weidenbach, Christoph}, URL = {https://inria.hal.science/hal-01768758}, JOURNAL = {{Science of Computer Programming}}, PUBLISHER = {{Elsevier}}, VOLUME = {158}, PAGES = {64-80}, YEAR = {2018}, MONTH = Jun, DOI = {10.1016/j.scico.2017.08.003}, KEYWORDS = {formal verification ; machine-checked proof ; TLA+ ; distributed algorithm ; peer-to-peer protocol ; distributed hash table}, PDF = {https://inria.hal.science/hal-01768758/file/paper.pdf}, HAL_ID = {hal-01768758}, HAL_VERSION = {v1}, }