Primeiro sistema operacional 100% livre de erros está pronto
Pesquisadores australianos afirmaram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional, o kernel, está 100% livre de erros de programação. Ou seja, a parte principal do sistema operacional não terá falhas, travamentos ou ataques que explorem falhas de segurança.
Na prática, o avanço poderá ser usado em [...]
















