Индекс форумов |
Исходное сообщение |
---|
"Для Linux предложен механизм верификации корректности работы..." Отправлено Аноним, 08-Авг-22 06:21 |
А смысл в этом Runtime Verification? Упало ядро в панику в рантайме - значит всё плохо, вот вам и вся верификация. Если бы было можно взять и запилить эталонную модель, превратить ядро в детерминированную машину состояний, то это бы сделали, скомпилировали и получили идеальное ядро, но это слишком сложная задача, потому что ну нельзя для монолитного ядра предсказать все возможные состояния и переходы между ними. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |