Predložen je mehanizam za verifikaciju ispravnosti rada jezgre za Linux
Za uključivanje u jezgru Linux 5.20 (moguće, grana će dobiti broj 6.0) predložen je set zakrpa s implementacijom mehanizma RV (Runtime Verification), koji predstavlja sredstva za provjeru ispravnosti rada na visokopouzdanih sustavima, koji jamče odsutnost kvarova. Provjera se provodi za vrijeme izvršavanja kroz pridruživanje handlera točkama traganja, koje usklađuju stvarni tijek izvršavanja s unaprijed definiranim referentnim determinističkim modelom automata, […]
