|
Program Correctness |
||
|
1. |
Program verification, the proof of correctness of programs, uses the ______________. A. rules of inference B. rules of sum C. rule of multiplication D. rules of division |
A |
|
2. |
A program is said to be correct ____________________ A. if it produces the correct output for every possible input. B. if it take input and produce output. C. if it take zero input and produce no output. D. if it produce output and withot input. |
A |
|
|
|
|
No comments:
Post a Comment