Tag: verification

Il prossimo Kernel Linux potrebbe essere capace di auto-verificare il proprio funzionamento con Runtime Verification

Che il Kernel Linux sia uno dei software più complessi al mondo lo abbiamo già evidenziato varie volte. E che sia anche fondamentale poter fare affidamento sul suo buon funzionamento è altrettanto evidente. Ovviamente, queste due caratteristiche sono in aperto contrasto: più un software è complesso, più è difficile garantirne il buon funzionamento. Da qualche…
Read more