Se ha realizado una propuesta, para ser incluido en el kernel de Linux 5.20 o en la rama 6.0, sobre un conjunto de parches con la implementación del mecanismo RV (Runtime Verification), medio para verificar el correcto funcionamiento en sistemas altamente confiables que garantizan la ausencia de fallos.
La validación se realiza en tiempo de ejecución al acercar controladores a puntos de rastreo que verifican el progreso real de la ejecución contra un modelo determinista de referencia predefinido del autómata que determina el comportamiento esperado del sistema.
Daniel Bristot de Oliveira menciona:
«Runtime Verification (RV) es un método ligero (pero riguroso) que complementa las técnicas clásicas de verificación exhaustiva (como la comprobación de modelos y la demostración de teoremas) con un enfoque más práctico para sistemas complejos. En lugar de depender de un modelo detallado de un sistema (por ejemplo, una reimplementación de un nivel de instrucción), RV funciona analizando el rastro de la ejecución real del sistema, comparándolo con una especificación formal del comportamiento del sistema.»
