CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems - Harie, Yojiro (arXiv.org)