Расширение логики разделения для верификации ядра xv6 на RISC-V с помощью ИИ-агентов

Исследование посвящено применению расширенной логики разделения (concurrent separation logic) на уровне аппаратного обеспечения для формальной верификации ядра операционной системы xv6, работающего на архитектуре RISC-V. В процессе проверки используются ИИ-агенты, что позволяет автоматизировать анализ корректности многопоточного кода на низком уровне.