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.
What is an example of a system that meets EAL6?
Integrity-178B