The emergence of the building information modeling concept, along with the Industry Foundation Classes (IFC) open data format specification for building components, has provided a standard method and a generally agreed-upon protocol for the computable representation of a building. Major leaps in the area of automated code verifications took place after the advent of the IFC open data format for BIM in the late nineties. There are several research implementations of automated rule checking to assess accessibility for special populations and for fire codes. The General Services Administration and US courts have supported the development of design rules checking for federal court houses, which is an early example of rule checking applied to automating design guidelines. Building Environment Rule and Analysis Object Model is a human-centered abstraction of the knowledge domain and it is one of the key concepts to the building environment rule checking and analysis.