A computer prototype of a building object makes it much easier to work on a project at any stage of the lifecycle: through automation, computer analysis, mathematical data processing. In particular, at the stage of project management, the use of the information model makes it easy to verify the quality of design decisions. The research provides types of automated checks and attempts to classify them: checking the quality of the model, initial checking of design solutions (searching for geometric and so-called "intelligent" collisions), checking the model's changes over time. Then there are types and examples of checks on real projects, some ways to develop them. In the end, a conclusion is drawn about efficiency of automated checks.