Formal verification of mobile robot protocols
From MaRDI portal
Publication:2359768
DOI10.1007/s00446-016-0271-1zbMath1410.68217OpenAlexW2338820189MaRDI QIDQ2359768
Sébastien Tixeuil, Laure Millet, Pascal Lafourcade, Yann Thierry-Mieg, Béatrice Bérard, Maria Gradinariu Potop-Butucaru
Publication date: 22 June 2017
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00446-016-0271-1
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)
Related Items
Verification of agent navigation in partially-known environments, Model Checking of Robot Gathering, Asynchronous arbitrary pattern formation: the effects of a rigorous approach, Squeezing streams and composition of self-stabilizing algorithms, Parameterized verification of algorithms for oblivious robots on a ring, Synchronous gathering without multiplicity detection: a certified algorithm, Embedded pattern formation by asynchronous robots without chirality
Uses Software
Cites Work
- Gathering of asynchronous robots with limited visibility
- Verification of consensus algorithms using satisfiability solving
- Proving properties of a ring of finite-state machines
- Model checking transactional memories
- Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
- Computing without communicating: ring exploration by asynchronous oblivious robots
- Gathering six oblivious robots on anonymous symmetric rings
- Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection
- Distributed Computing by Mobile Robots: Gathering
- Parameterized Model Checking of Rendezvous Systems
- Exclusive Perpetual Ring Exploration without Chirality
- Distributed Anonymous Mobile Robots: Formation of Geometric Patterns
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- On Reasoning About Rings
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
