Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando. Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundamenta Informaticae, 178(4):347-378, 2021. [doi]
@article{ConchonDF21,
title = {Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker},
author = {Sylvain Conchon and Giorgio Delzanno and Angelo Ferrando},
year = {2021},
doi = {10.3233/FI-2021-2010},
url = {https://doi.org/10.3233/FI-2021-2010},
researchr = {https://researchr.org/publication/ConchonDF21},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {178},
number = {4},
pages = {347-378},
}