refinement
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification
en-US/ɹɪˈfaɪnmənt/
en-GB/ɹɪˈfaɪnmənt/
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification