The seL4 project receives the ACM Software System Award
The project developing the open microkernel seL4 has received the ACM Software System Award, annually awarded by the Association for Computing Machinery (ACM), the most authoritative international organization in the field of computer systems. The award is granted for achievements in mathematical proof of reliability, which demonstrates full compliance with specifications stated in formal language and recognizes readiness for use in critical applications. The seL4 project […]
