Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker / Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 178:4(2021), pp. 347-378. [10.3233/FI-2021-2010]

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

Angelo Ferrando
2021
2021
178
4
347
378
WOS:000618727500004
2-s2.0-85101159408
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker / Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 178:4(2021), pp. 347-378. [10.3233/FI-2021-2010]
Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331897
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact