BMC · Builtsearch Model Checker

From Revit to model checking.

BMC is a suite of tools for building models in Revit and IFC. Its first part is a fast Revit IFC exporter; the model checker it feeds is next.

• rvt2ifc Live Revit to IFC, without the wait: Revit only reads, Rust writes the IFC. Open
• Model checker Coming soon Design-stage compliance checks on the exported model.