Для включения в состав ядра Linux предложен набор патчей с реализацией механизма RV (Runtime Verification). Механизм представляет средства для проверки корректности работы на высоконадежных системах, гарантирующих отсутствие сбоев. Проверка производится во время выполнения через прикрепление обработчиков к точкам трассировки, сверяющих фактический ход выполнения с заранее определённой эталонной детерминированной моделью автомата, определяющего ожидаемое поведение системы. Информация от точек трассировки переводит модель из одного состояния в другое. Если новое состояние не соответствует параметрам модели, генерируется предупреждение или ядро переводится в состояние "panic". Из достоинств RV называется возможность обеспечить строгую верификацию без отдельной реализации всей системы на языке моделирования, а также гибкое реагирование на непредвиденные события.