Er is een mechanisme voor de verificatie van de correcte werking van de Linux-kernel voorgesteld
Voor opname in de Linux-kernel 5.20 (mogelijk krijgt de tak nummer 6.0) is een set patches voorgesteld met de implementatie van het RV (Runtime Verification)-mechanisme, dat middelen biedt voor de verificatie van de correcte werking van hoogbetrouwbare systemen, die de afwezigheid van storingen garanderen. De controle wordt tijdens de uitvoering uitgevoerd door handlers aan traceerpunten toe te voegen, die de feitelijke uitvoering vergelijken met een vooraf gedefinieerd referentiemodel van een deterministische automaat, […]
