Sortie de Muen 1.0, un micro-noyau open source pour créer des systèmes hautement fiables
Après huit ans de développement, la version 1.0 du projet Muen a été lancée, développant un noyau de séparation (Separation kernel), dont l'absence d'erreurs dans le code source a été vérifiée par des méthodes mathématiques de vérification formelle de la fiabilité. Le noyau est disponible pour l'architecture x86_64 et peut être utilisé dans des systèmes critiques nécessitant un niveau élevé de fiabilité et une garantie d'absence de pannes. Les codes sources du projet sont écrits en […]
