3 ms·
Here’s a talk where someone shares proofs within the sel4 verified OS project: https://youtu.be/AdakDMYu4lM https://youtu.be/AdakDMYu4lM.
by amw-zero 5y ago
Here’s a talk where someone shares proofs within the sel4 verified OS project: https://youtu.be/AdakDMYu4lM https://youtu.be/AdakDMYu4lM.