ИСТИНА

Программа предназначена для формальной верификации информационных моделей зданий, сооружений и инфраструктуры. Программа позволяет проверить файловые данные на соответствие формату SPF (ISO 10303-21) и информационной схеме, определяемой стандартом IFC (Industry Foundation Classes, ISO 16739; ГОСТ 10.0.02). Программа может использоваться для проверки корректности IFC моделей, а также для верификации и повышения качества IFC-совместимого программного обеспечения. Функциональные возможности программы: проверка файловых данных на соответствие синтаксическим правилам стандарта SPF; проверка данных на соответствие семантическим правилам стандарта IFC; генерация отчета об ошибках с ссылками на разделы стандарта, в которых определены нарушенные правила; загрузка верифицируемого файла через web-форму и отправка отчета об ошибках в форматах txt и html по указанному электронному адресу.