The development of a Microsoft Excel based model checker for verifying the completeness of a building model.