Работа посвящена проблемам анализа качества аппаратного и программного обеспечения становится сегодня всё более острой, особенно по мере расширения использования нанотехнологий в приборостроении и информационных технологий при разработке программного обеспечения.

Шаталова О.В. (науч. рук. Ситников П.В.) Model Checking и темпоральная логика в верификации тестирования программного обеспечения // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2021]. URL: https://kmu.itmo.ru/digests/article/6290