രീതികൾ രൂപകൽപ്പന, പരിശോധന, അവലോകനം
പല പൊതുവായ ഓപ്പറേറ്റിംഗ് സിസ്റ്റങ്ങളും EAL4 സ്റ്റാൻഡേർഡ് ഓഫ് മെഥഡിക്കലി ഡിസൈൻ, ടെസ്റ്റഡ്, റിവ്യൂ എന്നിവ പാലിക്കുന്നു, പക്ഷേ ഉയർന്ന തലങ്ങൾക്ക് ആവശ്യമായ ഔപചാരികമായ സ്ഥിരീകരണം അസാധാരണമാണ്.
എന്താണ് EAL4 ന്റെ സ്റ്റാൻഡേർഡ്?