This page is dedicated to my project on Population Protocols.
The tool Peregrine can be found here: Peregrine
The report of the work can be found here: Report
