All posts tagged in: why3

Why3 и стратегии запуска солверов

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