Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Korneva, Alexandrina"'
Autor:
Conchon, Sylvain, Korneva, Alexandrina
This paper presents the Cubicle Fuzzy Loop (CFL), a fuzzingbased extension for Cubicle, a model checker for parameterized systems. To prove safety, Cubicle generates invariants, making use of forward exploration strategies like BFS or DFS on finite m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::5e1d3dde85e13dcc33619148e96fd301
https://hal.science/hal-04152836/file/main.pdf
https://hal.science/hal-04152836/file/main.pdf
Publikováno v:
Open Access Series in Informatics
Open Access Series in Informatics, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩
Open Access Series in Informatics, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩
Open Access Series in Informatics, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩
Open Access Series in Informatics, In press, ⟨10.4230/OASIcs.FMBC.2021.5⟩
International audience; In this paper, we propose a formal documentation of Tenderbake, the new Tezos consensus algorithm, slated to replace the current Emmy family algorithms. The algorithm is broken down to its essentials and represented as an auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f04c26f07a20fd99c411fc662b008d2a
https://hal.archives-ouvertes.fr/hal-03398884/file/main.pdf
https://hal.archives-ouvertes.fr/hal-03398884/file/main.pdf
In this paper, we propose a formal documentation of Tenderbake, the new Tezos consensus algorithm, slated to replace the current Emmy family algorithms. The algorithm is broken down to its essentials and represented as an automaton. The automaton mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dcfad1f11e452a48cd0e8f803eb97d2a