Der er foreslået en mekanisme til verifikation af kerneoperationer til Linux
Et sæt patches til implementering af mekanismen RV (Runtime Verification) er blevet foreslået til inkludering i Linux-kernen 5.20 (muligvis vil denne gren få nummer 6.0). Mekanismen tilbyder midler til at kontrollere korrektheden af operationer på højt pålidelige systemer, der garanterer fravær af nedbrud. Verifikationen udføres under kørsel ved at knytte håndteringsfunktioner til sporingspunkter, som sammenligner den faktiske udførelse med en foruddefineret deterministisk model for automater […]
