Cargando…

Automatic Generation of DistAlgo Programs from Event-B Models

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.

Detalles Bibliográficos
Autor principal: Grall, Alexis
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242042/
http://dx.doi.org/10.1007/978-3-030-48077-6_34