1. A method of validating a computer model of a complex system, the method comprising the steps of: eliciting information regarding the complex system from one or more human experts; determining from the elicited information a set of variables and a set of constraints on those variables regarding the complex system; automatically by computer examining output of the computer model to locate violations of determined constraints; and generating output establishing any located violations.