Ознакомительный фрагмент. Получить полный доступ
Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования