I want to know the answer to the following question:
Technology that is used to implement secure operating systems is one use of what term?
All the background I'm provided with is that "Many common operating systems meet the EAL4 standard of being "Methodically Designed, Tested and Reviewed", but the formal verification required for the highest levels means that they are uncommon.". Is that enough to answer the question?
Answer: no