%0 Conference Paper %1 conf/cav/BlondinEJ18 %A Blondin, Michael %A Esparza, Javier %A Jaax, Stefan %B CAV (1) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K checking model population protocol verification %P 604-611 %R 10.1007/978-3-319-96145-3\_34 %T Peregrine: A Tool for the Analysis of Population Protocols. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#BlondinEJ18 %V 10981 %X We introduce Peregrine, the first tool for the analysis and parameterized verification of population protocols. Population protocols are a model of computation very much studied by the distributed computing community, in which mobile anonymous agents interact stochastically to achieve a common task. Peregrine allows users to design protocols, to simulate them both manually and automatically, to gather statistics of properties such as convergence speed, and to verify correctness automatically. This paper describes the features of Peregrine and their implementation. %@ 978-3-319-96145-3

@inproceedings{conf/cav/BlondinEJ18, abstract = {We introduce Peregrine, the first tool for the analysis and parameterized verification of population protocols. Population protocols are a model of computation very much studied by the distributed computing community, in which mobile anonymous agents interact stochastically to achieve a common task. Peregrine allows users to design protocols, to simulate them both manually and automatically, to gather statistics of properties such as convergence speed, and to verify correctness automatically. This paper describes the features of Peregrine and their implementation.}, added-at = {2018-09-27T15:18:42.000+0200}, author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/215a99de843ac349693023d91d9204484/pavestest}, booktitle = {CAV (1)}, crossref = {conf/cav/2018-1}, doi = {10.1007/978-3-319-96145-3\_34}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96145-3_34}, interhash = {fd330eaabc06f475559e1a66aa90e49b}, intrahash = {15a99de843ac349693023d91d9204484}, isbn = {978-3-319-96145-3}, keywords = {checking model population protocol verification}, note = {https://google.de}, pages = {604-611}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2018-09-27T17:02:37.000+0200}, title = {Peregrine: A Tool for the Analysis of Population Protocols.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#BlondinEJ18}, volume = 10981, year = 2018 }