microkernel

Muen 1.0 lanzado, un microkernel de código abierto para construir sistemas altamente confiables

Después de ocho años de desarrollo Muen 1.0 El proyecto fue Aprobado, Desarrollo de Núcleo de separacióncuya corrección en el código fuente ha sido confirmada utilizando métodos matemáticos para la verificación formal de la confiabilidad. El kernel está disponible para…