Motivation of os verification Applications Operating System Hardware Correctness of OS is crucial for safety and security of the whole systemMotivation of OS Verification Hardware Operating System Applications Correctness of OS is crucial for safety and security of the whole system