- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 22:34 , 06-Май-23 (1)
- Проекту seL4 присуждена премия ACM Software System Award, Анонн, 23:20 , 06-Май-23 (6) +7 [^]
Очень крутой проект, показывающий насколько тяжело и дорого так разрабатывать софт. Там всего меньше 10к строк кода ("8,700 lines of C code and 600 lines of assemble" если быть точным).При этом "затраты" на аналогичную верификацию при уже проработанной методологии - 8 (восемь) человеко-лет ("kernel plus proof of 8 py") В процессе верификации пришлось писать кучу уточнений, нашли 16 дефектов до второй фазы верификации, сама формальная верификация нашла 144 дефекта и необходимость внести 54 изменения. Т.е. где-то 1 дефект на 50 строк си/асм кода. Подробности тут: https://www.cs.columbia.edu/~junfeng/09fa-e6998/papers/sel4.pdf
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 23:29 , 06-Май-23 (7) –1
- Проекту seL4 присуждена премия ACM Software System Award, vitalif, 23:32 , 06-Май-23 (8)
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 08:33 , 07-Май-23 (22) –1
- Проекту seL4 присуждена премия ACM Software System Award, warlock66613, 20:58 , 08-Май-23 (42)
- Проекту seL4 присуждена премия ACM Software System Award, InuYasha, 23:37 , 06-Май-23 (9) –1 [V]
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 08:54 , 07-Май-23 (24)
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 12:48 , 07-Май-23 (29)
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 13:47 , 07-Май-23 (31) –1
- Проекту seL4 присуждена премия ACM Software System Award, пох., 16:34 , 07-Май-23 (32)
- Проекту seL4 присуждена премия ACM Software System Award, Степан, 19:02 , 07-Май-23 (33)
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 21:47 , 08-Май-23 (44) +1
- Проекту seL4 присуждена премия ACM Software System Award, fidoman, 19:45 , 07-Май-23 (34) –2
- Проекту seL4 присуждена премия ACM Software System Award, Аноним, 14:03 , 09-Май-23 (50) –4 [V]
|