Which of the following evaluation assurance level that is formally verified, designed and tested is expected for high risk situation?

A.
EAL 1

B.
EAL 3

C.
EAL 5

D.
EAL 7

Explanation:
D: EAL 7 is the only one that given after the product is formally verified, designed, and tested. All the other levels of assurances are not formally verified. Page 698.