Za Linux je predlagan mehanizem za preverjanje pravilnosti delovanja jedra.
Za vključitev v jedro Linux 5.20 (morda bo različica dobila številko 6.0) je predlagan sklop popravkov, ki implementira mehanizem RV (Runtime Verification), ki predstavlja sredstva za preverjanje pravilnosti delovanja na visoko zanesljivih sistemih, ki zagotavljajo odsotnost napak. Preverjanje poteka v času izvajanja preko pritrditve obdelovalcev na točke sledenja, ki primerjajo dejanski potek izvajanja s predhodno določenim referenčnim determinističnim modelom avtomata, […]
