3 ms·
Interestingly, important parts of the Linux kernel are proven correct (e.g. the scheduler). But yeah...not the whole thing.
by m0th87 13y ago
Interestingly, important parts of the Linux kernel are proven correct (e.g. the scheduler). But yeah...not the whole thing.
- papsosouid 13y agoWhat? When and where has any part of linux been proven correct?