Model Checking Population Protocols
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2016.27zbMath1391.68078MaRDI QIDQ4636574
Rupak Majumdar, Pierre Ganty, Javier Esparza, Jérôme Leroux
Publication date: 19 April 2018
Full work available at URL: https://hal.science/hal-02391850
decidability; population protocols; probabilistic model checking; parameterized systems; probabilistic linear-time specifications
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Verification of Immediate Observation Population Protocols, The complexity of verifying population protocols, Towards efficient verification of population protocols, Advances in parameterized verification of population protocols, Population protocols: beyond runtime analysis