Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Declarative Parameterized Verification of Topology-Sensitive Distributed ProtocolsSylvain Conchon, Giorgio Delzanno, Angelo Ferrando. netys 2019: 209-224 [doi] Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool PaperSylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi. cav 2012: 718-724 [doi] The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model CheckerSylvain Conchon, Alexandrina Korneva. SEFM 2023: 30-46 [doi] Parameterized Verification and Model Checking for Distributed Broadcast ProtocolsGiorgio Delzanno. gg 2014: 1-16 [doi] Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model CheckingGiorgio Delzanno. cilc 2018: 97-111 [doi]
The following publications are possibly variants of this publication: