Forskere fører matematisk bevis for sikker styresystemkerne

En gruppe forskere har lavet en mikrokerne til et styresystem, som de har ført matematisk bevis for er fuldstændig sikker. Kernen kan bruges til indlejrede systemer.

Læs hele nyheden her: http://www.udvikleren.dk/Redirect.aspx?mode=version2&id=3520