The development of distributed algorithms offers challenges in verifying that they meet their specifications. The correct-by-construction approach consists in developing a model of the algorithm before transforming this model into a program.
CITATION STYLE
Grall, A. (2020). Automatic Generation of DistAlgo Programs from Event-B Models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12071 LNCS, pp. 414–417). Springer. https://doi.org/10.1007/978-3-030-48077-6_34
Mendeley helps you to discover research relevant for your work.