Announcement

Collapse
No announcement yet.

New Patches Posted For Linux Runtime Verification

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • New Patches Posted For Linux Runtime Verification

    Phoronix: New Patches Posted For Linux Runtime Verification

    A new patch series has been posted implementing Runtime Verification (RV) for the Linux kernel...

    Phoronix, Linux Hardware Reviews, Linux hardware benchmarks, Linux server benchmarks, Linux benchmarking, Desktop Linux, Linux performance, Open Source graphics, Linux How To, Ubuntu benchmarks, Ubuntu hardware, Phoronix Test Suite

  • #2
    I read all that and still have no idea what runtime verification is.

    Comment


    • #3
      Originally posted by alcalde View Post
      I read all that and still have no idea what runtime verification is.
      Don't know if it would be the case, but one example that came into my mind was in the robo race, when a sensor generated a NaN, which locked the steering wheel to one side, maybe the verification would catch it?

      Comment

      Working...
      X