下列软件，属于BIM模型综合碰撞检查软件的有（）。

下列软件，属于BIM模型综合碰撞检查软件的有（）。
A、Solibri
B、Navisworks
C、ProjectwiseNavigator
D、ArchiBUS
正确答案：ABC