Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем

Розробка програмних інструментів підвищення ефективності застосування програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних ІУС. Для досягнення мети ди...