ଅର୍ଦ୍ଧଆନୁଷ୍ଠାନିକ ଭାବରେ ଯାଞ୍ଚ କରାଯାଇଥିବା ଡିଜାଇନ ଏବଂ ଯାଞ୍ଚ କରାଯାଇଥିବା
ଇଏଏଲ୬ (Semiformally Verified Design and Tested) ବ୍ୟବସ୍ଥାର ଏକ ଉଦାହରଣ ହେଉଛି ସଚ୍ଚୋଟତା-୧୭୮ବି, ଯାହାକି ଏୟାରବସ୍ ଏ୩୮୦ ଏବଂ କେତେକ ସାମରିକ ଜେଟ୍ରେ ବ୍ୟବହାର କରାଯାଇଥାଏ।
EAL6 ପାଇଁ ମାନକ କ 'ଣ?