An IFC Model checker can be used to verify the items above automatically. An example is Solibri Model Checker.