
Peregrine
Peregrine is a tool for the analysis and parameterized verification of population protocols. With its graphical user interface, it allows the user to specify population protocols that then can be simulated both manually and automatically. Peregrine can also find executions of faulty protocols and it can automatically verify if a given protocol computes a specified formula for all of the infinitely many initial configurations.