One use of the term "computer security" refers to technology that is used to implement secure operating systems. How common are the formal verification for the highest levels?