Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Refinement (computing)
open-in-new
<p>Refinement is a generic term of computer science that encompasses various approaches for producing <a href="/facts/Correctness_(computer_science)/m4yxw3gw">correct</a> computer programs and simplifying existing programs to enable their formal verification. </p>