ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Пятница
29 марта
652382 Топик полностью
Evgeny_CD, Архитектор (12.02.2016 00:34, просмотров: 318) ответил Evgeny_CD на seL4. seL4's implementation is formally (mathematically) proved correct (bug-free) against its specification -> seL4-Based Project -->
Ой. eChronos project builds and formally verifies, a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers -> •Formal functional specification (completed) Какой-то разрыв шаблона. http://ssrg.nicta.com.au/projects/TS/echronos/
Формально-верифицировання ОСька в MCU?