Content deleted Content added
m Minor simplifications and addition of ACM classification reference. |
RandFreeman (talk | contribs) Adding local short description: "Verification that software meets requirements", overriding Wikidata description "overview of techniques for verifying software" |
||
| (10 intermediate revisions by 6 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.
Line 49 ⟶ 50:
* [[Runtime verification]]
* [[Hardware verification]]
* [[Formal verification]]
== References ==
| |||