Describir: CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems