نرمافزار درستیسنجیشدهverified softwareواژههای مصوب فرهنگستاننرمافزاری که مرحلۀ درستیسنجی را گذرانده است