Advanced | Help | Encyclopedia
Directory

• Encyclopaedia
• P
• Pr
• Pra
• Prb
• Prc
• Prd
• Pre
• Prf
• Prg
• Prh
• Pri
• Prj
• Prk
• Prl
• Prm
• Prn
• Pro
• Prp
• Prq
• Prr
• Prs
• Prt
• Pru
• Prv
• Prw
• Prx
• Pry
• Prz

Program verification

Program verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize.

See also Formal verification

 This computer-related article is a stub. You can help Wikipedia by expanding it.







Links: Addme | Keyword Research | Paid Inclusion | Femail | Software | Completive Intelligence

Add URL | About Slider | FREE Slider Toolbar - Simply Amazing
Copyright © 2000-2008 Slider.com. All rights reserved.
Content is distributed under the GNU Free Documentation License.