For Linux er det foreslått en mekanisme for å verifisere kjernens korrekthet.
Der er foreslået et sæt patches til inkorporering i Linux-kernen 5.20 (det er muligt, at grenen vil få nummer 6.0), som implementerer mekanismen RV (Runtime Verification), der udgør værktøjer til at kontrollere korrektheden af driften på højt pålidelige systemer, der garanterer fravær af nedbrud. Kontrollen udføres under kørsel ved at knytte håndtere til sporingspunkter, der sammenligner den faktiske udførelse med en forudbestemt, reference-deterministisk model af automaten, […]
