Algorithmic verification of population protocols