News for hackers. Stuff that matters.

A comment on A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture. Parent comment

Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by sanxiyn on Wednesday April 24, 2019 @01:16AM (#19735753)
As the title says this is user-level, so can't be used to verify OS.
[ Parent | on HN ]
Re:A Complete Formal Semantics of x86-64 User-Level Instruct... by lallysingh on Wednesday April 24, 2019 @09:57AM (#19738361)
Almost all of the code in an os are the same instructions we use everywhere else. That can be verified to function as intended.
[ Parent | on HN ]