Model-Centric Verification of Artificial Intelligence