2
There are standard courses in computer science faculties that teach software verification, yet modern software products(Operating Systems especially) require periodic updates and bugs are constantly found. windows code is so complex, I don't have an idea how one would verify its correctness, it s...