diariodigitalcolombiano.com
seL4, el primer sistema operativo que demuestra matemáticamente su seguridad
La empresa General Dynamics C4 Systems y el NICTA (Centro de Excelencia Australiano) han publicado bajo licencia de software libre el primer kernel de un sistema operativo conjunto con pruebas mate…
