US12578692B2 - Model Verification Apparatus, Model Verification Method, and Non-Transitory Computer Readable Medium