Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Alexis Grall"'
Publikováno v:
International Workshop on Verification and Program Transformation
International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
[Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36
VPT/HCVS@ETAPS
International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
[Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36
VPT/HCVS@ETAPS
Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties of distributed algorithms. In this paper, we present an approach for c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c72933bca1689ce7d9a4fbd4d4d1e91a
https://hal.inria.fr/hal-02997277
https://hal.inria.fr/hal-02997277
Autor:
Alexis Grall
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1bcc0b91c9c763a8a9a2fbba758ee21b
https://doi.org/10.1007/978-3-030-48077-6_34
https://doi.org/10.1007/978-3-030-48077-6_34