3 ms·
That's some work! How can it get used? Verifying compilers? OSs?
by lallysingh 8y ago
That's some work! How can it get used? Verifying compilers? OSs?
- sanxiyn 8y agoAs the title says this is user-level, so can't be used to verify OS.
- lallysingh 8y agoAlmost all of the code in an os are the same instructions we use everywhere else. That can be verified to function as intended.