Towards a Framework for Dynamic Verification of Peer-to-Peer Systems | IEEE Conference Publication | IEEE Xplore