Verification of future models