Description     Claims     Drawing  

US20140189075A   [0007] 
CN103702344   [0008] 

Towards a Framework for Dynamic Verification of Peer-to-Peer Systems   [0008]