Refinement (computing)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Refinement" computing – news · newspapers · books · scholar · JSTOR (September 2010) (Learn how and when to remove this message)

Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.