Verification Of Computer Reserve Models

Verification of computer generated reserve models is essential since the computer does not automatically check the validity of methods and assumptions selected by the user and their results. For the computer to do model verification would require an expert system which would perform tests on the model and determine if the model is valid. Since such an expert system is not available, it is up to users to verify the models they develop.