Parameterized Verification and Model Checking for Distributed Broadcast Protocols

DOI10.1007/978-3-319-09108-2_1zbMath1423.68276OpenAlexW143018197MaRDI QIDQ3192219

Giorgio Delzanno

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Network protocols (68M12) Distributed algorithms (68W15)

This page was built for publication: Parameterized Verification and Model Checking for Distributed Broadcast Protocols