Content deleted Content added
Vasywriter (talk | contribs) m Vasywriter moved page Program refinement to Refinement (computing): Only the first lines of this page were about "program refinement" |
Vasywriter (talk | contribs) No edit summary |
||
Line 3:
{{refimprove|date=September 2010}}
== Program refinement ==
In [[formal methods]], '''program refinement''' is the [[formal verification|verifiable]] transformation of an ''abstract'' (high-level) [[formal specification]] into a ''concrete'' (low-level) [[executable program]].{{fact|date=September 2010}} ''[[Stepwise refinement]]'' allows this process to be done in stages. Logically, refinement normally involves [[implication]], but there can be additional complications.
| |||