建築確認申請の電子化に伴い、BIMモデルの整合性をチェックするために使われるツールはどれか。

法適合性チェックのために、BIMモデルが基準を満たしているかをルールベースで自動判定するモデルチェッカーが開発・利用されている。