ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
18 апреля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
652384 Топик полностью
Evgeny_CD, Архитектор (12.02.2016 00:37, просмотров: 205) ответил Evgeny_CD на seL4. seL4's implementation is formally (mathematically) proved correct (bug-free) against its specification -> seL4-Based Project -->
Еще про нее же. В конце страницы шикарная подборка документов и през. http://ssrg.nicta.com.au/projects/seL4/
Ответить