Ознакомительный фрагмент. Получить полный доступ
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications