Viktor

Вообще, с верификацией кода странное дело в РФ. Вижу 2 варианта: У нас или есть ребята из ИСП РАН + какое-то достаточно закрытое к ним сообщество людей "в теме". Эта закрыт...

Кстати, Господа, вопросик есть, мб кто в курсе. У нас вообще как дела с производством чипов? Микрон планируют поднимать с колен? Или пока не ясно?

Господа, вопросик есть. Ни у кого нет проверенных сборок в стоечном исполнении на 2 Тб DDR + пару CPU типа Xeon Gold 6242R на матери от Supermicro? Ну и места где это можно к...

Может быть Linux верифицирован? В нем не может быть ошибок? Злоумышленник не может вытащить инфу из Linux в случае физического доступа к устройству с root правами?

Господа, а тут есть те, кто занимался/занимается верификацией СФ блоков? Гоняли ли вы верификацию на мощностях с 1-2 Тб оперативы? Сильный ли буст по времени по сравнению с 1...

А можно админов попросить разрешить "реакцию" палец вверх 👍? @sadkobogatiygost

Коллеги, кто-нибудь на работе юзает Frama-C?