caxapa.ru :: Ой. eChronos project builds and formally verifies, a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers -> •Formal functional specification (completed) Какой-то разрыв шаблона.

Evgeny_CD^{Архитектор} (12.02.2016 00:34, просмотров: 376) ответил 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?

Ответить

- Не понял, что удивляет-то? - LightElf(12.02.2016 10:56)

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