Ada the CHERI Sweetheart - программное обеспечение для защиты памяти на аппаратном уровне

Обзор работы AdaCore по разработке инструментария GNAT Pro для CHERI, выполненной в рамках проекта Edge Avionics.