All posts tagged in: frama-c

Установка Frama-C с последней версией плагина дедуктивной верификации Jessie (AstraVer)