What is Revit model checker?

What is BIM model checker?

Open BIM Model Checker is an application developed to analyse and inspect BIM models. The aim of this programme is to help users detect issues in the models, locate clashes between the different disciplines and consult the project’s documentation quickly and easily.

What is the model checking problem?

A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure.

What makes a good quality BIM model?

Model quality means conformance to requirements. Requirements include LOD, procedures, specifications, and accuracy of the building information model geometries. Conformance is the ability of a model to meet its BIM specifications.

Where can I download BIM interoperability tools?

The current release of the BIM Interoperabiltiy Tools suite collection the Classification Manager, Model Checker, Configurator, and COBie Extension for Revit can be downloaded using the Autodesk Desktop App, or by visiting manage.autodesk.com and going to the Product Updates section.