Content deleted Content added
m Reverted edits by 2001:FD8:1A00:71F0:118A:7292:E958:601C (talk) (HG) (3.4.12) |
RandFreeman (talk | contribs) Adding local short description: "Verification that software meets requirements", overriding Wikidata description "overview of techniques for verifying software" |
||
| (8 intermediate revisions by 4 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 ==
| |||