Refinement (computing)
From Wikipedia, the free encyclopedia
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.
This article needs additional citations for verification. (September 2010) |