checkedprogram
nounUK /tʃɛkt ˈprəʊɡræm/
US /tʃɛkt ˈproʊɡræm/
A checked program is a computer program that has been looked at carefully to make sure it works right.
The teacher ran the checked program to show the class how the game works.
OTHER MEANINGS
2. A program whose correctness has been formally proven or verified by mathematical methods.
The engineers released the checked program after proving it had no errors.
3. A program that has been marked or ticked off on a list as completed.
Each checked program on the schedule had a green tick beside it.
4. A computer program that includes built-in safety checks during its run.
The checked program stops itself if it finds a mistake in the data.