Исправление SZT, 28.10.18 04:59 (текущая версия) :
Попробуй кстати K framework
Для Си вот: https://github.com/kframework/c-semantics
Исходная версия SZT, 28.10.18 04:59: