> 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

> 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