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 条

[41] Stacks: an analysis tool set for population genomics
Catchen, Julian
Hohenlohe, Paul A.
Bassham, Susan
Amores, Angel
Cresko, William A.
[J]. MOLECULAR ECOLOGY, 2013, 22 (11) : 3124 - 3140
[42] Use of monitoring data and population viability analysis to inform reintroduction decisions: Peregrine falcons in the Midwestern United States
Wakamiya, Sarah M.
Roy, Charlotte L.
[J]. BIOLOGICAL CONSERVATION, 2009, 142 (08) : 1767 - 1776
[43] Study on a CPN-based Auto-analysis Tool for Security Protocols
Fan Yutao
Su Guiping
He Liu
Zhu Siyu
[J]. 2012 INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING (ISISE), 2012, : 179 - 182
[44] Tight complexity analysis of population protocols with cover times - The ZebraNet example
Beauquier, J.
Blanchard, P.
Burman, J.
Delaet, S.
[J]. THEORETICAL COMPUTER SCIENCE, 2013, 512 : 15 - 27
[45] LINKOgrapher: AN ANALYSIS TOOL TO STUDY DESIGN PROTOCOLS BASED ON FBS CODING SCHEME
Pourmohamadi, Morteza
Gero, John S.
[J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 11): IMPACTING SOCIETY THROUGH ENGINEERING DESIGN, VOL 2: DESIGN THEORY & RESEARCH METHODOLOGY, 2011, 2 : 294 - 303
[46] USING BIRDS OF PREY AS AN ENVIRONMENTAL CONSERVATION TOOL - THE PEREGRINE FUNDS WORLD PROGRAM
WATSON, RT
[J]. ENVIRONMENTAL CONSERVATION, 1991, 18 (03) : 269 - 270
[47] TURNOVER AND RECRUITMENT IN A TUNDRA POPULATION OF PEREGRINE FALCONS FALCO-PEREGRINUS
COURT, GS
BRADLEY, DM
GATES, CC
BOAG, DA
[J]. IBIS, 1989, 131 (04) : 487 - 496
[48] INCREASE IN BREEDING POPULATION OF TUNDRA PEREGRINE FALCONS IN THE CENTRAL CANADIAN ARCTIC
SHANK, CC
BROMLEY, RG
POOLE, KG
[J]. WILSON BULLETIN, 1993, 105 (01): : 188 - 190
[49] ATTRIBUTES OF A BREEDING POPULATION OF PEREGRINE FALCONS ASSOCIATED WITH RESERVOIRS ON THE COLORADO RIVER
Barnes, Joseph G.
Haley, Ross D.
Thompson, Daniel B.
Jaeger, Jef R.
[J]. JOURNAL OF RAPTOR RESEARCH, 2015, 49 (03) : 269 - 280
[50] RECOVERY AND RANGE EXPANSION IN A NORTH CENTRAL UTAH PEREGRINE FALCON POPULATION
Monson, Clark S.
[J]. WESTERN NORTH AMERICAN NATURALIST, 2017, 77 (01) : 31 - 39

← 1 2 3 4 5 →