Для Linux предложен механизм верификации корректности работы ядра https://opennet.ru/57605/