Black Ninjas in the dark: formal analysis of population protocols

DOI10.1145/3209108.3209110MaRDI QIDQ5145270zbMATH OpenOpenAlexFDO

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

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

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)

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

Cited in

(1)

• 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)