Үүнийг мессежээр илгээх: CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems