Linux 5.20 කර්නලයට ඇතුළත් කිරීමට (සමහරවිට ශාඛාව අංක 6.0 වනු ඇත), RV (Runtime Verification) යාන්ත්‍රණය ක්රියාත්මක කිරීමත් සමඟ පැච් කට්ටලයක් යෝජනා කර ඇති අතර එය ඉතා විශ්වාසදායක පද්ධතිවල නිවැරදි ක්‍රියාකාරිත්වය පරීක්ෂා කිරීමේ මාධ්‍යයකි. අසාර්ථකත්වය නොමැති බව සහතික කරයි. පද්ධතියේ අපේක්ෂිත හැසිරීම තීරණය කරන ස්වයංක්‍රීයකරණයේ කලින් තීරණය කරන ලද යොමු නිර්ණායක ආකෘතියට එරෙහිව ක්රියාත්මක කිරීමේ සත්‍ය ප්රගතිය පරීක්ෂා කරන හෝඩුවාවන් වෙත හසුරුවන්න ඇමිණීම මඟින් වලංගු කිරීම ක්රියාත්මක වේ.
ට්‍රේස්පොයින්ට් වලින් ලැබෙන තොරතුරු ආකෘතිය එක් ප්‍රාන්තයකින් තවත් ප්‍රාන්තයකට ගෙන යන අතර, නව තත්වය ආකෘතියේ පරාමිතීන් සමඟ නොගැලපේ නම්, අනතුරු ඇඟවීමක් ජනනය කරනු ලැබේ හෝ කර්නලය "සන්ත්‍රාසය" තත්වයට පත් කරනු ලැබේ (ඉතා විශ්වාසදායක පද්ධති බව අවබෝධ වේ. එවැනි තත්වයන් හඳුනාගෙන ඒවාට ප්රතිචාර දැක්වීම). එක් ප්‍රාන්තයක සිට තවත් ප්‍රාන්තයකට සංක්‍රමණය වීම නිර්වචනය කරන ස්වයංක්‍රීය මාදිලිය “dot” (graphviz) ආකෘතියට අපනයනය කරනු ලැබේ, ඉන්පසු එය dot2c උපයෝගීතාව භාවිතයෙන් C නිරූපණයකට පරිවර්තනය කරනු ලැබේ, එය අපගමනය නිරීක්ෂණය කරන කර්නල් මොඩියුලයක ස්වරූපයෙන් පටවනු ලැබේ. පූර්ව නිශ්චිත ආකෘතියකින් ක්රියාත්මක කිරීමේ ප්රගතිය.
ධාවන කාල ආදර්ශ පරීක්ෂා කිරීම, මෙහෙයුම්-විවේචනාත්මක පද්ධතිවල ක්රියාත්මක කිරීමේ නිවැරදි බව තහවුරු කිරීමේ වඩාත් සැහැල්ලු සහ ක්රියාත්මක කිරීමට පහසු ක්‍රමයක් ලෙස ස්ථානගත කර ඇත, ආදර්ශ පරීක්ෂා කිරීම සහ ලබා දී ඇති පිරිවිතරයන් සමඟ කේත අනුකූලතාවය පිළිබඳ ගණිතමය සාක්ෂි වැනි විශ්වසනීයත්වය තහවුරු කිරීමේ සම්භාව්‍ය ක්‍රම අනුපූරක වේ. විධිමත් භාෂාවකින්. RV හි ඇති වාසි අතර, ආකෘතිකරණ භාෂාවකින් සමස්ත පද්ධතියම වෙනම ක්රියාත්මක කිරීමකින් තොරව දැඩි සත්‍යාපනයක් සැපයීමේ හැකියාව මෙන්ම අනපේක්ෂිත සිදුවීම් සඳහා නම්‍යශීලී ප්‍රතිචාරයක්, උදාහරණයක් ලෙස, විවේචනාත්මක පද්ධතිවල අසාර්ථකත්වය තවදුරටත් ප්‍රචාරය කිරීම අවහිර කිරීම.
මූලාශ්රය: opennet.ru