Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

DOI10.3233/FI-2021-2010zbMath1497.68293OpenAlexW3128914275MaRDI QIDQ4991929

Giorgio Delzanno, Angelo Ferrando, Sylvain Conchon

Publication date: 4 June 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2021-2010

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Uses Software

• SPIN
• Cubicle

Cites Work

• Unnamed Item
• Uppaal in a nutshell
• Constraint-based verification of parameterized cache coherence protocols
• Uncovering Symmetries in Irregular Process Networks
• On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
• Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
• Parameterized Verification of Ad Hoc Networks
• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
• Handbook of Graph Grammars and Computing by Graph Transformation
• Decidability of Parameterized Verification
• Logic-based Verification of the Distributed Dining Philosophers Protocol
• On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
• Distributed local strategies in broadcast networks

This page was built for publication: Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker