ସଚ୍ଚୋଟତା-178B
ଇଏଏଲ୬ (Semiformally Verified Design and Tested) ବ୍ୟବସ୍ଥାର ଏକ ଉଦାହରଣ ହେଉଛି ସଚ୍ଚୋଟତା-୧୭୮ବି, ଯାହାକି ଏୟାରବସ୍ ଏ୩୮୦ ଏବଂ କେତେକ ସାମରିକ ଜେଟ୍ରେ ବ୍ୟବହାର କରାଯାଇଥାଏ।
EAL6 କୁ ପୂରଣ କରୁଥିବା ବ୍ୟବସ୍ଥାର ଉଦାହରଣ କ 'ଣ?