Software verification: Difference between revisions

Content deleted Content added
m Undid edits by 37.39.151.77 (talk) to last version by Vkuncak: unexplained content removal
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.