Раздел предназначен для того, чтобы дать пользователю различных программных комплексов информацию для ответа на вопрос о том, соответствуют ли возможности того или иного комплекса декларациям разработчиков. Для разработчиков этот материал может оказаться полезным для отладки реализованных методов.
Верификация

Верификациионные тесты

Верификациионный отчет
Завершена процедура верификации программного комплекса ЛИРА САПР. Научным советом "Программные средства в строительстве и архитектуре" Российской Академии Архитектуры и Строительных Наук (РААСН) выдано свидетельство N 06/ЛИРА-САПР/2015

ЭСПРИ
ПК ЭСПРИ содержит программы, позволяющие выполнять компьютерные расчеты достаточно обширного класса частных задач проектного, инженерного и исследовательского направлений в строительстве.