Check & Prove technique of Cplusplus.