3 ms·
I would imagine it would be even more helpful if there is open source library that has formal specification a la seL4 but probably I am hoping too much.
by whereistimbo 6y ago
I would imagine it would be even more helpful if there is open source library that has formal specification a la seL4 but probably I am hoping too much.