Для Linux предложен механизм верификации корректности работы ядра