@inproceedings{fournier:hal-03708237, TITLE = {{Dolmen: FPGA Swarm for Safety and Liveness Verification}}, AUTHOR = {Fournier, Emilien and Teodorov, Ciprian and Lagadec, Lo{\"i}c}, URL = {https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03708237}, BOOKTITLE = {{2022 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}}, ADDRESS = {Antwerp, Belgium}, PUBLISHER = {{IEEE}}, SERIES = {Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022}, PAGES = {1425-1430}, YEAR = {2022}, MONTH = Mar, DOI = {10.23919/DATE54114.2022.9774528}, KEYWORDS = {Model checking ; Reconfigurable architectures ; FPGA ; liveness verification ; Model-checking ; reconfigurable architecture ; safety verification}, HAL_ID = {hal-03708237}, HAL_VERSION = {v1}, }