See live article
- the process of formally proving that a
does exactly what is stated in the
it was written to realize.
This article is from
. All text is available under the terms of the
GNU Free Documentation License