以下符合IFC标准，并取得IFC认证的软件有（）。

多项选择题通过扩展得到的IFC的模型文件是否为有效的IFC文件，需要通过校验来判断。校验内容主要包括（）。

A.检验IFC文件的几何模型是否正确表达
B.检验IFC文件的大小是否符合要求
C.检验扩展的实体属性是否存在
D.检验属性值是否符合要求
E.检验文件中扩展的IFC实体是否存在

多项选择题IFC标准配置的数据文件格式的默认扩展名包括（）。

A、MDF
B、DAT
C、STEP
D、BMP
E、XML