Исправление MOPKOBKA, 07.02.23 13:53 (текущая версия) :
Для C есть что-то плохожее на SPARK?
Не разбираюсь, но Frama-C вроде то? Пишешь контракты и оно проверяет.
Исходная версия MOPKOBKA, 07.02.23 13:52:
Не разбираюсь, но Frama-C вроде то?