En mekanism för verifiering av kärnans korrekthet har föreslagits för Linux
För att inkludera i kärnan Linux 5.20 (möjligen kommer grenen att få numret 6.0) har ett antal patchar föreslagits för implementeringen av mekanismen RV (Runtime Verification), som erbjuder medel för att kontrollera korrektheten i högre tillförlitlighetssystem som garanterar avbrottsfri drift. Kontrollen sker under körning genom att koppla behandlare till spårningspunkter som jämför det faktiska utförandet med en förutbestämd referensbestämd modell av en automat, […]
