OS Correctness Os provides abstraction for programmers Hide details of the underlying hardware Provide an abstract programming model OS Correctness: refinement between high-level abstraction and low-level concrete implementationOS Correctness • OS provides abstraction for programmers – Hide details of the underlying hardware – Provide an abstract programming model • OS Correctness : refinement between high-level abstraction and low-level concrete implementation