Software verification: Difference between revisions

Content deleted Content added

Revision as of 14:29, 9 July 2024 edit 2001:fd8:1a00:71f0:118a:7292:e958:601c (talk) YOTNINAYO Tags: Reverted Visual edit Mobile edit Mobile web edit ← 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
(9 intermediate revisions by 5 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. ~~KUPAL BAONINANYO~~ == Broad scope and classification == Line 49 ⟶ 50: * [[Runtime verification]] * [[Hardware verification]] * [[Formal verification]] == References ==