Het seL4-project is bekroond met de ACM Software System Award
Het project dat het open microkernel seL4 ontwikkelt, heeft de ACM Software System Award ontvangen, welke jaarlijks wordt uitgereikt door de Association for Computing Machinery (ACM), de meest prestigieuze internationale organisatie op het gebied van computersystemen. De prijs is uitgereikt voor de prestaties op het gebied van wiskundig bewijs van betrouwbaarheid, dat aantoont dat het volledig voldoet aan de formele specificaties en erkent dat het klaar is voor gebruik in kritieke toepassingen. Het seL4-project […]
