Введение в микроядро Sel4

[firegurafiku]

Формальная модель системы команд处理器

Чем делать перевод для галочки, лучше бы написали про свой опыт формальной верификации или работы с этим микроядром. Вы же, наверное, не просто так именно эту тему решили осветить, а потому-то что она вам чем-то близка.