29.07.2014 16:00 Uhr, Quelle: Heise

Microkernel seL4: beweisbar fehlerfrei

SeL4 soll laut den Entwicklern der erste Allzweck-Kernel sein, dessen Korrektheit formal bewiesen ist. Der Microkernel läuft auf ARM- und x86-Hardware.

Weiterlesen bei Heise