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, […]
