Dla Linuxa zaproponowano mechanizm weryfikacji poprawności działania jądra.
W celu włączenia do jądra Linux 5.20 (prawdopodobnie wersja otrzyma numer 6.0) zaproponowano zestaw poprawek realizujących mechanizm RV (Runtime Verification), który stanowi narzędzie do weryfikacji poprawności działania w systemach o wysokiej niezawodności, gwarantujących brak awarii. Weryfikacja przeprowadzana jest w czasie rzeczywistym przez podłączenie handlerów do punktów śledzenia, które porównują rzeczywisty przebieg wykonania z wcześniej ustaloną wzorcową, deterministyczną modelą automatu […]
