Linuxi jaoks on ette nähtud tuumategevuse tõhususe kontrollimise mehhanism
Linux 5.20 põhikoosseisu (võimalik, et haru saab numbri 6.0) on ettepanek pakettide komplekt RV (Runtime Verification) mehhanismi rakendamiseks, mis pakub vahendeid töö vastavuse kontrollimiseks kõrgelt usaldusväärsetes süsteemides, mis tagavad tõrgete puudumise. Kontrollimist tehakse täitmise ajal, kinnitades käitlejaid jälgimispunktidega, mis võrreldavad tegelikku teostamise käiku eelnevalt määratud referentmudeli automaadiga […]
