Naukowcy zaprezentowali BODHI, system zdolny do precyzyjnego wnioskowania i analizy specyfikacji kerneli systemów operacyjnych. Narzędzie wykorzystuje zaawansowane techniki AI do automatycznego odkrywania i opisywania zachowań kernela, co może znacznie poprawić bezpieczeństwo i niezawodność OS-ów. Badania mają znaczenie dla cyberbezpieczeństwa i optymalizacji systemów operacyjnych na poziomie fundamentalnym.