За Linux е предложен механизъм за верификация на коректността на работата на ядрото
Предложен е набор от пачове за интегриране в ядрото на Linux 5.20 (възможно е версията да получи номер 6.0), която реализира механизма RV (Runtime Verification), представляващ средства за проверка на коректността на работа на високонадеждни системи, гарантиращи отсъствие на сривове. Проверка се извършва по време на изпълнение чрез прикрепяне на обработчици към точки на проследяване, които сверяват фактическото ходене на изпълнението с предварително определена еталонна детерминирана модел на автомата, […]
