caxapa.ru :: [OS Hyperkernel], которая заточена под формальную верификацию при помощи SMT и Z3. Очень интересный способ использования IL из LLVM для формальной верификации!

Evgeny_CD, Архитектор (02.06.2018 02:49, просмотров: 361) ответил Evgeny_CD на [Satisfiability modulo theories, SMT, задача выполнимости формул в теориях] Мощнейший математический аппарат для формальной верификации ПО (в том числе).

[OS Hyperkernel], которая заточена под формальную верификацию при помощи SMT и Z3. Очень интересный способ использования IL из LLVM для формальной верификации!

nelson-hyperkernel.pdf johnson-hyperkernel-arm.pdf

Ответить

- Тот это hyperkernel или нет, я так и не понял -> - Evgeny_CD(02.06.2018 02:54, ссылка)

Средства и методы разработки