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 条

[1] Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs
Esparza, Javier
Helfrich, Martin
Jaax, Stefan
Meyer, Philipp J.
[J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 550 - 556
[2] Assessing predictions of population viability analysis: Peregrine Falcon populations in California
Wootton, J. Timothy
Bell, Douglas A.
[J]. ECOLOGICAL APPLICATIONS, 2014, 24 (06) : 1251 - 1257
[3] On Formal Analysis of Cryptographic Protocols and Supporting Tool
Xiao Meihua
Jiang Yun
Liu Qiaowei
[J]. CHINESE JOURNAL OF ELECTRONICS, 2010, 19 (02) : 223 - 228
[4] SPANNER - A TOOL FOR THE SPECIFICATION, ANALYSIS, AND EVALUATION OF PROTOCOLS
AGGARWAL, S
BARBARA, D
METH, KZ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1218 - 1237
[5] Implementation of MINERVA/PEREGRINE as an ATC review tool
Purdy, I.
Lehmann, J.
Wesso, D.
Cogliati, J.
Milvich, M.
Frederickson, C.
Nigg, D.
Wemple, C.
[J]. MEDICAL PHYSICS, 2006, 33 (06) : 2272 - 2273
[6] Microsatellite analysis of population structure and genetic variability in peregrine falcons (Falco peregrinus)
Nesje, M
Roed, KH
Bell, DA
Lindberg, P
Lifjeld, JT
[J]. ANIMAL CONSERVATION, 2000, 3 : 267 - 275
[7] Peregrine as a verification tool of Corvus treatment planning system
Zheng, Z
Cardarelli, G
Shearer, D
Wazer, D
DiPetrillo, T
Chougule, P
[J]. MEDICAL PHYSICS, 2002, 29 (06) : 1231 - 1232
[8] DDE IN A RESIDENT ALEUTIAN ISLAND PEREGRINE POPULATION
WHITE, CM
EMISON, WB
WILLIAMSON, FS
[J]. CONDOR, 1973, 75 (03): : 306 - 311
[9] PEREGRINE POPULATION OF GREAT-BRITAIN IN 1971
RATCLIFFE, DA
[J]. BIRD STUDY, 1972, 19 (03) : 117 - +
[10] A tool of analysis and implementation of Security Protocols on Distributed Systems
Mengual, L
de la Puente, C
[J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: SYSTEMICS, CYBERNETICS AND INFORMATICS: TECHNOLOGIES AND APPLICATIONS, 2003, : 438 - 443

← 1 2 3 4 5 →