نرم افزار درستی سنجی شده

{verified software} [رایانه و فنّاوری اطلاعات] نرم افزاری که مرحلۀ درستی سنجی را گذرانده است