The Analysis and Verification of Computer Models