أرسل هذا في رسالة قصيرة: CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems