 We verified the effectiveness of our framework by testing an implemented system with several operations .
<clarity>  We verified the effectiveness of our framework by testing an implemented system with several operations .
 We verify the applicability of our framework by testing an implemented system with several operations .