5 ms·
In "serious and critical" code, only the machine code would be "verified". And each time the machine code change, "verification" has to be done all over again.
by sylware 4y ago
In "serious and critical" code, only the machine code would be "verified".
And each time the machine code change, "verification" has to be done all over again.
- MaxBarraclough 4y ago> In "serious and critical" code, only the machine code would be "verified". As I understand it, this approach is not at all common in critical code. The SeL4 folks did some interesting work verifying assembly code, [0] but I'm not aware of anyone else doing anything similar. Also, there's no need for scare-quotes. Verification is standard terminology in this field. [0] https://entropy2018.sciencesconf.org/data/myreen.pdf https://entropy2018.sciencesconf.org/data/myreen.pdf