ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
22 июля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
845435 Топик полностью
Evgeny_CD, Архитектор (02.06.2018 02:54, просмотров: 282) ответил Evgeny_CD на [OS Hyperkernel], которая заточена под формальную верификацию при помощи SMT и Z3. Очень интересный способ использования IL из LLVM для формальной верификации!
Тот это hyperkernel или нет, я так и не понял -> https://github.com/Bareflank/hyperkernel
Ответить