Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker.
Saved in:
| Title: | Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. |
|---|---|
| Authors: | Conchon, Sylvain1, sylvain.conchon@lri.fr, Delzanno, Giorgio2, giorgio.delzanno@unige.it, Ferrando, Angelo3, angelo.ferrando@manchester.ac.uk, Felli, Paolo, Montali, Marco, Proietti, Maurizio |
| Source: | Fundamenta Informaticae; 2021, Vol. 178 Issue 4, p347-378, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01692968 |
|---|---|
| DOI: | 10.3233/FI-2021-2010 |
