È stato proposto un meccanismo per verificare la correttezza del funzionamento del kernel per Linux
È stato proposto un insieme di patch per l'inclusione nel kernel Linux 5.20 (possibilmente la branch riceverà il numero 6.0) con l'implementazione del meccanismo RV (Runtime Verification), che rappresenta strumenti per verificare la correttezza del funzionamento in sistemi ad alta affidabilità, garantendo l'assenza di guasti. La verifica avviene durante l'esecuzione tramite l'attacco di gestori ai punti di tracciamento, confrontando il percorso reale di esecuzione con un modello deterministico di riferimento prestabilito,…
