Auhind ACM Software System Award omistati projektile seL4.
Ava mikrokernel seL4 projekt on pälvinud ACM Software System Awardi, mis antakse igal aastal arvutiteaduste assotsiatsiooni (ACM) poolt, mis on kõige autoriteetsem rahvusvaheline organisatsioon arvutisüsteemide valdkonnas. Auhind antakse matemaatilise tõendamise saavutuste eest, mis tõendab, et süsteem vastab täielikult määratletud formaalsetele spetsifikatsioonidele ning tunnustab selle kasutusvalmidust kriitilistes rakendustes. Projekt seL4 […]
