3 ms·I think operating systems are harder to formally verify than programming languages.by freyrs3 14y agoI think operating systems are harder to formally verify than programming languages.