3 ms·
I think seL4 is orthogonal to the team's core achievements which are in verification of low-level code. Those technologies transfer to other settings.
by GregarianChild 5y ago
I think seL4 is orthogonal to the team's core achievements which are in verification of low-level code. Those technologies transfer to other settings.