An Approach to the Verification of Simple Building Energy Analysis Computer Programs