Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Software verification
open-in-new
<p>Software verification is a discipline of <a href="/facts/Software_engineering/KX6cE9kz">software engineering</a>, <a href="/facts/Programming_languages/cWTYbgWa">programming languages</a>, and <a href="/facts/Theory_of_computation/xYJd2YeI">theory of computation</a> whose goal is to assure that software satisfies the expected requirements. </p>