Back Proqram təminatının verifikasiyası Azerbaijani Verificación de software Spanish การทวนสอบซอฟต์แวร์ Thai Верифікація програмного забезпечення Ukrainian Xác minh phần mềm Vietnamese 軟體驗證 Chinese 軟件驗證 ZH-YUE
Software verification is a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements.