সততা-১৭৮বি
"একটি ইএএল৬ (" "সেমি-ফরমালি ভেরিফায়েড ডিজাইন অ্যান্ড টেস্টেড" ") সিস্টেমের উদাহরণ হ 'ল ইন্টিগ্রিটি-১৭৮বি, যা এয়ারবাস এ৩৮০ এবং বেশ কয়েকটি সামরিক জেটে ব্যবহৃত হয়।"
একটি সিস্টেমের উদাহরণ কী যা ইএএল৬ এর সাথে মিলিত হয়?