Content deleted Content added
Divinations (talk | contribs) m Undid edits by 37.39.151.77 (talk) to last version by Vkuncak: unexplained content removal |
RandFreeman (talk | contribs) Adding local short description: "Verification that software meets requirements", overriding Wikidata description "overview of techniques for verifying software" |
||
(5 intermediate revisions by 2 users not shown) | |||
Line 1:
{{Short description|Verification that software meets requirements}}
'''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.
|