PEREGRINE: A Tool for the Analysis of Population Protocols

被引：7
|
作者：
Blondin, Michael [1 ]
Esparza, Javier [1 ]
Jaax, Stefan [1 ]
机构：
[1] Tech Univ Munich, Munich, Germany
来源：
COMPUTER AIDED VERIFICATION (CAV 2018), PT I | 2018年 / 10981卷
关键词：
Population protocols; Distributed computing; Parameterized verification; Simulation; VERIFICATION;
D O I：
10.1007/978-3-319-96145-3_34
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：604 / 611
页数：8
相关论文
共 50 条
  • [31] REPRODUCTIVE SUCCESS AND EGGSHELL THINNING OF A REESTABLISHED PEREGRINE FALCON POPULATION
    STEIDL, RJ
    GRIFFIN, CR
    NILES, LJ
    CLARK, KE
    [J]. JOURNAL OF WILDLIFE MANAGEMENT, 1991, 55 (02): : 294 - 299
  • [32] Mediated population protocols
    Michail, Othon
    Chatzigiannakis, Ioannis
    Spirakis, Paul G.
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (22) : 2434 - 2450
  • [33] Mediated Population Protocols
    Chatzigiannakis, Ioannis
    Michail, Othon
    Spirakis, Paul G.
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 363 - +
  • [34] Verification of population protocols
    Javier Esparza
    Pierre Ganty
    Jérôme Leroux
    Rupak Majumdar
    [J]. Acta Informatica, 2017, 54 : 191 - 215
  • [35] Verification of population protocols
    Esparza, Javier
    Ganty, Pierre
    Leroux, Jerome
    Majumdar, Rupak
    [J]. ACTA INFORMATICA, 2017, 54 (02) : 191 - 215
  • [36] Homonym Population Protocols
    Olivier Bournez
    Johanne Cohen
    Mikaël Rabie
    [J]. Theory of Computing Systems, 2018, 62 : 1318 - 1346
  • [37] Homonym Population Protocols
    Bournez, Olivier
    Cohen, Johanne
    Rabie, Mikael
    [J]. THEORY OF COMPUTING SYSTEMS, 2018, 62 (05) : 1318 - 1346
  • [38] Demography of population recovery: survival and fidelity of peregrine falcons at various stages of population recovery
    George D. Smith
    Oscar E. Murillo-García
    Jeffrey A. Hostetler
    Richard Mearns
    Chris Rollie
    Ian Newton
    Michael J. McGrady
    Madan K. Oli
    [J]. Oecologia, 2015, 178 : 391 - 401
  • [39] Demography of population recovery: survival and fidelity of peregrine falcons at various stages of population recovery
    Smith, George D.
    Murillo-Garcia, Oscar E.
    Hostetler, Jeffrey A.
    Mearns, Richard
    Rollie, Chris
    Newton, Ian
    McGrady, Michael J.
    Oli, Madan K.
    [J]. OECOLOGIA, 2015, 178 (02) : 391 - 401
  • [40] The Analysis of Crow Population Dynamics as a Surveillance Tool
    Ludwig, A.
    Bigras-Poulin, M.
    Michel, P.
    [J]. TRANSBOUNDARY AND EMERGING DISEASES, 2009, 56 (9-10) : 337 - 345
12345