Economic Model Verification