Software verification: Difference between revisions

Content deleted Content added

Revision as of 15:39, 16 November 2024 edit Vkuncak (talk \| contribs) 493 edits m →See also: added link to formal verification ← Previous edit		Latest revision as of 18:46, 23 June 2025 edit undo RandFreeman (talk \| contribs) Extended confirmed users 1,293 edits Adding local short description: "Verification that software meets requirements", overriding Wikidata description "overview of techniques for verifying software" Tag: Shortdesc helper
(7 intermediate revisions by 3 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.