They're small :P! Less facetiously, some micro kernels have been proven formally correct. You need a small code to prove formally correct. And even on an intuitive level, if the code is small I can "hold" it all in my…
They're small :P! Less facetiously, some micro kernels have been proven formally correct. You need a small code to prove formally correct. And even on an intuitive level, if the code is small I can "hold" it all in my…