Инструменты LDRA для верификации ПО: Верификация исполняемого объектного кода

Как и предыдущее видео, это видео является критически важным, так как рассмотрена верификация низкоуровнего кода. Разъясняются вопросы верификации объектного кода а также вопросы работы тулчейна в части генерации объектного кода.