3 ms·
Absence of undefined behavior in the C implementation is of course one of the things covered by the seL4 proof.
by regehr 12y ago
Absence of undefined behavior in the C implementation is of course one of the things covered by the seL4 proof.
loading thread…