P

peregrine

A tool for simulation & verification of population protocols.