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