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