Technology that is used to implement secure operating systems is one use of what term? [SEP] 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.
not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment