Parameterized Model Checking of Token-Passing Systems

DOI10.1007/978-3-642-54013-4_15zbMath1428.68180arXiv1311.4425OpenAlexW1598659274MaRDI QIDQ2938070

Sasha Rubin, Ayrat Khalimov, Swen Jacobs, Benjamin Aminof

Publication date: 13 January 2015

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

Full work available at URL: https://arxiv.org/abs/1311.4425

Mathematics Subject Classification ID

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

Related Items

A counter abstraction technique for verifying properties of probabilistic swarm systems, Parameterized Verification of Communicating Automata under Context Bounds, Liveness of Parameterized Timed Networks, Parameterized model checking of rendezvous systems, Verification of agent navigation in partially-known environments, Model and program repair via group actions, Parameterized verification of time-sensitive models of ad hoc network protocols, An automata-theoretic approach to the verification of distributed algorithms, Parameterized model checking of networks of timed automata with Boolean guards, Nash equilibria in symmetric graph games with partial observation, Unnamed Item, Verification of Parameterized Communicating Automata via Split-Width, Model Checking Parameterised Multi-token Systems via the Composition Method, Parameterised verification for multi-agent systems