Është propozuar një mekanizëm verifikimi për funksionimin e saktë të bërthamës për Linux
Për t'u përfshirë në bërthamën Linux 5.20 (ndoshta dega do të marrë numrin 6.0), është propozuar një grup patch-e për realizimin e mekanizmit RV (Runtime Verification), i cili ofron mjete për verifikimin e saktësisë në sisteme me besueshmëri të lartë, garantues për mungesën e dështimeve. Verifikimi kryhet gjatë ekzekutimit përmes ngjitjes së trajtuesve në pika gjurmimi, që krahasojnë rrjedhën faktike të ekzekutimit me një model të paracaktuar deterministik të automatit […]
