@phdthesis{fournier:tel-04109895, TITLE = {{Acc{\'e}l{\'e}ration mat{\'e}rielle de la v{\'e}rification de s{\^u}ret{\'e} et vivacit{\'e} sur des architectures reconfigurables}}, AUTHOR = {Fournier, {\'E}milien}, URL = {https://theses.hal.science/tel-04109895}, NUMBER = {2022ENTA0006}, SCHOOL = {{ENSTA Bretagne - {\'E}cole nationale sup{\'e}rieure de techniques avanc{\'e}es Bretagne}}, YEAR = {2022}, MONTH = Jul, KEYWORDS = {Model checking ; Swarm verification ; Reconfigurable architectures ; V{\'e}rification de mod{\`e}les (informatique) ; Intelligence collective ; Syst{\`e}mes adaptatifs (informatique)}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-04109895/file/2022EmilienFournier.pdf}, HAL_ID = {tel-04109895}, HAL_VERSION = {v1}, }