Question: What is the standard for EAL6?
Sentence: An example of an EAL6 ("Semiformally Verified Design and Tested") system is Integrity-178B, which is used in the Airbus A380 and several military jets.
Answer in sentence: yes