Parameterized Verification of Broadcast Networks of Register Automata

DOI10.1007/978-3-642-41036-9_11zbMath1355.68175OpenAlexW1362128MaRDI QIDQ5168517

Arnaud Sangnier, Giorgio Delzanno, Riccardo Traverso

Publication date: 7 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-41036-9_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Parameterized Verification of Communicating Automata under Context Bounds ⋮ Parameterized model checking of rendezvous systems ⋮ Parameterized verification of time-sensitive models of ad hoc network protocols ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Synthesis of Specifications with Arithmetic ⋮ An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP ⋮ Parameterized verification of coverability in infinite state broadcast networks

This page was built for publication: Parameterized Verification of Broadcast Networks of Register Automata