Verification of the LIRA-SAPR software

In this chapter the users of various software could find answer as to whether the capabilities of a verified software correspond to the statements announced by developers.

Verification report of RAACS

Verification procedure for the LIRA-SAPR program is completed. Certificate N 06 / LIRA-SAPR / 2015 is issued by the Scientific Council 'Software in Construction and Architecture' of the Russian Academy of Architecture and Construction Sciences (RAASN)

Verification tests

In this chapter the users of various software could find answer as to whether the capabilities of a verified software correspond to the statements announced by developers. This material may be also useful for developers to debug the implemented methods.


Verification examples


Complete the form below, and we'll send you an e-mail with all the latest LiraLand news.