Black Ninjas in the dark: formal analysis of population protocols

DOI10.1145/3209108.3209110zbMATH Open1487.68031OpenAlexW2810055296MaRDI QIDQ5145270FDOQ5145270

Javier Esparza, Stefan Jaax, Antonin Kučera, Michael Blondin

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209110

Recommendations

• Verification of population protocols
• The complexity of verifying population protocols
• Verification of Population Protocols
• Advances in parameterized verification of population protocols
• Population protocols and related models

zbMATH Keywords

distributed computingpopulation protocolsparameterized verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)

Cited In (2)

• Towards efficient verification of population protocols
• Maude2Lean: theorem proving for Maude specifications using Lean

This page was built for publication: Black Ninjas in the dark: formal analysis of population protocols

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