O projeto seL4 foi agraciado com o prêmio ACM Software System Award
O projeto que desenvolve o microkernel aberto seL4 recebeu o prêmio ACM Software System Award, concedido anualmente pela Association for Computing Machinery (ACM), a mais respeitável organização internacional na área de sistemas computacionais. O prêmio é dado pelas conquistas na prova matemática de confiabilidade, que demonstra a total conformidade com as especificações definidas em linguagem formal e reconhece sua prontidão para uso em aplicações críticas. O projeto seL4 […]
