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

В этом вводном видео дается обзор промышленных стандартов а так же рассматривается вопрос трассируемости различных едениц конфигурации друг к другу. Показывается начало работы над проектом верификации ПО