@article{mery:hal-01245819, TITLE = {{Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems}}, AUTHOR = {M{\'e}ry, Dominique and Poppleton, Mike}, URL = {https://inria.hal.science/hal-01245819}, JOURNAL = {{Software and Systems Modeling}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {16}, NUMBER = {4}, PAGES = {1083--1115}, YEAR = {2017}, MONTH = Oct, DOI = {10.1007/s10270-015-0504-y}, KEYWORDS = {Correction by Construction ; TLA+ ; Event-B method ; Formal Method ; Population Protocols ; Verification \& validation ; Refinement ; Liveness Properties}, HAL_ID = {hal-01245819}, HAL_VERSION = {v1}, }