تضمین هایی که با تایید رسمی برنامه منبع به دست می آیندبی فایده هستند اگر کامپایلر کد اشتباه تولید کند .
کامپایلر
برنامه منبع به دست می آیندبی فایده هستند اگر کامپایلر کد
تضمین هایی که با تایید رسمی <e2>برنامه </e2>منبع به دست می آیندبی فایده هستند اگر <e1>کامپایلر <e2></e1>کد </e2>اشتباه تولید کند .