ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Вторник
11 августа
/845434
Топик полностью
Evgeny_CD, Архитектор (02.06.2018 02:49, просмотров: 19) в ответ на [Satisfiability modulo theories, SMT, задача выполнимости формул в теориях] Мощнейший математический аппарат для формальной верификации ПО (в том числе). - автор: Evgeny_CD
[OS Hyperkernel], которая заточена под формальную верификацию при помощи SMT и Z3. Очень интересный способ использования IL из LLVM для формальной верификации! 
Прикреплённые файлы:
nelson-hyperkernel.pdfjohnson-hyperkernel-arm.pdf
Ответить
Ответы