verpol
=======

Verification of Population Protocols