A System Verification Methodology based on Check-Point Extraction Method