I want to know the answer to the following question:
What is the standard for EAL6?
All the background I'm provided with is that "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.". Is that enough to answer the question?