program verification
program verification Any method that will ensure that a program will do exactly what it is supposed to do. See also program correctness proof.
More From encyclopedia.com
Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Tsr , TSR Short for terminate and stay resident program. A type of program normally found on microcomputer systems. After the program has been loaded into… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… Food Stamps , FOOD STAMP PROGRAM. The food stamp program originated in federal efforts to combat overproduction during the Great Depression by raising the consumpt… Dll , DLL
DLL Abbrev. for dynamic link library. In the Microsoft Windows and OS/2 operating systems, a library of utility programs stored as separate files… Fp , FP A notation for functional programming proposed by J. W. Backus in 1978. Backus propounded a general functional style of programming, and developed…
You Might Also Like
NEARBY TERMS
program verification