Linux számára javasolt a kernel működésének ellenőrzési mechanizmusa.
A Linux 5.20 kernelbe (valószínűleg a verzió 6.0-s számot kap) javasolt egy patchcsomag, amely az RV (Runtime Verification) mechanizmus megvalósítását tartalmazza, amely eszközöket biztosít a magas megbízhatóságú rendszerek működésének ellenőrzésére, garantálva a hibamentességet. Az ellenőrzés a végrehajtás során történik, kezelők csatolásával a nyomkövetési pontokhoz, amelyek összehasonlítják a tényleges végrehajtási folyamatot egy előre meghatározott, referenciaként szolgáló determinisztikus automatamodellel […]
