Passeando por alguns sites de ciência e tecnologia, me deparei com essa matéria.
Infelizmente o artigo não diz qual foi a técnica utilizada, mas isso pode ser tema de uma nova pesquisa no google...... =D
Vale a pena conferir.
Fonte: inovacaotecnologica.com.br
Pesquisadores australianos relataram que, pela primeira vez, conseguiram provar com rigor matemático que o núcleo principal de um sistema operacional - tecnicamente conhecido como kernel - está 100% livre de erros de programação (bugs).
O avanço deverá ter implicações diretas no funcionamento e na segurança de computadores que controlam equipamentos que devem apresentar altíssima confiabilidade, como aparelhagens médicas de exames e cirurgias robotizadas, sistemas aeroespaciais e servidores de informática de missão crítica.
...
O kernel 100% correto pertence a um sistema operacional do tipo embarcado (embedded system), que roda em computadores dedicados a tarefas específicas.
A nova técnica de verificação, contudo, poderá ser utilizada no desenvolvimento de qualquer outro programa, seja um sistema operacional ou outro aplicativo qualquer.
Nenhum comentário:
Postar um comentário