Challenges of os Verification Many challenges AsSembly code Concurrency Preemption Interrupts Large code base Device&v/o Concurrency caused by preemptions is particularly challengingChallenges of OS Verification Many challenges: Preemption … Concurrency C/Assembly code Interrupts Large code base Device & I/O Concurrency caused by preemptions is particularly challenging