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 条

[21] ANALYSIS OF PEREGRINE FALCON EGGS IN ECUADOR
JENNY, JP
BURNHAM, WA
DEVRIES, T
HILGERT, N
ORTIZ, F
[J]. CONDOR, 1983, 85 (04): : 502 - 502
[22] Using a packet manipulation tool for security analysis of industrial network protocols
Kobayashi, Tiago H.
Batista, Aguinaldo B., Jr.
Brito, Agostinho M., Jr.
Pires, Paulo S. Motta
[J]. ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 744 - 747
[23] The Healthcare Failure Mode and Effect Analysis as a tool to evaluate care protocols
Abi, Alissa Xavier da Costa Furtado
Cruz, Elaine Dhemer de Almeida
Pontes, Leticia
dos Santos, Tatiane
Felix, Jorge Vinicius Cestari
[J]. REVISTA BRASILEIRA DE ENFERMAGEM, 2022, 75 (03)
[24] Counting with Population Protocols
Mocquard, Yves
Anceaume, Emmanuelle
Aspnes, James
Busnel, Yann
Sericola, Bruno
[J]. 2015 IEEE 14TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2015, : 35 - 42
[25] ORIGIN, GROWTH, AND COMPOSITION OF THE RECOVERING PEREGRINE FALCON POPULATION IN ONTARIO
Gahbauer, Marcel A.
Bird, David M.
Armstrong, Ted
[J]. JOURNAL OF RAPTOR RESEARCH, 2015, 49 (03) : 281 - 293
[26] Clocked population protocols
Aspnes, James
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2021, 121 : 34 - 48
[27] AN INTRODUCTION TO POPULATION PROTOCOLS
Mavronicolas, Mario
Aspnes, James
Ruppert, Eric
[J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2007, (93): : 98 - 117
[28] Clocked Population Protocols
Aspnes, James
[J]. PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 431 - 440
[29] Playing With Population Protocols
Bournez, Olivier
Chalopin, Jerenfie
Cohen, Johanne
Koegler, Xavier
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (01): : 3 - 15
[30] Trustful Population Protocols
Bournez, Olivier
Lefevre, Jonas
Rabie, Mikael
[J]. DISTRIBUTED COMPUTING, 2013, 8205 : 447 - 461

← 1 2 3 4 5 →