Il progetto seL4 ha ricevuto il premio ACM Software System Award
Il progetto che sviluppa il microkernel open source seL4 ha ricevuto il premio ACM Software System Award, assegnato annualmente dall'Association for Computing Machinery (ACM), l'organizzazione internazionale più autorevole nel campo dei sistemi informatici. Il premio è stato conferito per i progressi nella prova matematica della robustezza operativa, che dimostra la piena conformità alle specifiche fornite in linguaggio formale e riconosce la prontezza all'uso in applicazioni critiche. Il progetto seL4 […]
