Parameterized verification and model checking for distributed broadcast protocols

DOI10.1007/978-3-319-09108-2_1MaRDI QIDQ3192219zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Model checking parameterized systems
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Parameterized model checking of synchronous distributed algorithms by abstraction
• Monotonic Abstraction in Action

Cited in

(10)

• Declarative parameterized verification of distributed protocols via the Cubicle model checker
• Distributed breadth-first search LTL model checking
• Parameterized model checking of synchronous distributed algorithms by abstraction
• Parameterised verification of publish/subscribe networks with exception handling
• scientific article; zbMATH DE number 1903360 (Why is no real title available?)
• Symbolic model checking of public announcement protocols
• Message-passing algorithms for the verification of distributed protocols
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• Parameterized verification of time-sensitive models of ad hoc network protocols
• scientific article; zbMATH DE number 1424027 (Why is no real title available?)

This page was built for publication: Parameterized verification and model checking for distributed broadcast protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192219)