ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Понедельник
10 августа
/845435
Топик полностью
Evgeny_CD, Архитектор (02.06.2018 02:54, просмотров: 16) в ответ на [OS Hyperkernel], которая заточена под формальную верификацию при помощи SMT и Z3. Очень интересный способ использования IL из LLVM для формальной верификации! - автор: Evgeny_CD
Тот это hyperkernel или нет, я так и не понял -> ссылка
Ответить