Das seL4-Projekt wurde mit dem ACM Software System Award ausgezeichnet
Das Projekt, das das offene MikrokernseL4 entwickelt, erhielt den ACM Software System Award, der jährlich von der Association for Computing Machinery (ACM), der angesehensten internationalen Organisation im Bereich der Computersysteme, verliehen wird. Der Preis wird für Errungenschaften im Bereich der mathematischen Beweisführung zur Zuverlässigkeit verliehen, die die vollständige Übereinstimmung mit den formal sprachlich spezifizierten Anforderungen belegt und die Einsatzbereitschaft in kritischen Anwendungen anerkennt. Das seL4-Projekt […]
