Verifying Self-stabilizing Population Protocols with Coq | IEEE Conference Publication | IEEE Xplore