Pro Linux byl navržen mechanismus ověřování správnosti fungování jádra
Pro zařazení do jádra Linux 5.20 (je možné, že větev dostane číslo 6.0) byl navržen soubor patchů s implementací mechanismu RV (Runtime Verification), který představuje prostředky pro ověřování správnosti práce na vysoce spolehlivých systémech, zaručujících absenci selhání. Ověřování probíhá během běhu připojením zpracovatelů k bodům sledování, které porovnávají skutečný průběh provádění s předem definovaným vzorovým deterministickým modelem automatu […]
