A framework for formal validation of scientific models.