Publication details

Black Ninjas in the Dark: Formal Analysis of Population Protocols


BLONDIN Michael ESPARZA Javier JAAX Stefan KUČERA Antonín

Type Article in Proceedings
Conference 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
MU Faculty or unit

Faculty of Informatics

Web ACM Digital Library
Keywords population protocols; automatic verification
Description In this interactive paper, which you should preferably read connected to the Internet, the Black Ninjas introduce you to population protocols, a fundamental model of distributed computation, and to recent work by the authors and their colleagues on their automatic verification.
Related projects: