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:
Article
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
_version_ 1783537168700932096
author Grall, Alexis
author_facet Grall, Alexis
author_sort Grall, Alexis
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7242042
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420422020-05-22 Automatic Generation of DistAlgo Programs from Event-B Models Grall, Alexis Rigorous State-Based Methods Article 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. 2020-04-22 /pmc/articles/PMC7242042/ http://dx.doi.org/10.1007/978-3-030-48077-6_34 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Grall, Alexis
Automatic Generation of DistAlgo Programs from Event-B Models
title Automatic Generation of DistAlgo Programs from Event-B Models
title_full Automatic Generation of DistAlgo Programs from Event-B Models
title_fullStr Automatic Generation of DistAlgo Programs from Event-B Models
title_full_unstemmed Automatic Generation of DistAlgo Programs from Event-B Models
title_short Automatic Generation of DistAlgo Programs from Event-B Models
title_sort automatic generation of distalgo programs from event-b models
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242042/
http://dx.doi.org/10.1007/978-3-030-48077-6_34
work_keys_str_mv AT grallalexis automaticgenerationofdistalgoprogramsfromeventbmodels

Ejemplares similares