runtimeverificationprogram
nounUK /ˈrʌn.taɪm ˌver.ɪ.fɪˈkeɪ.ʃən ˈprəʊ.ɡræm/
US /ˈrʌn.taɪm ˌver.ə.fəˈkeɪ.ʃən ˈproʊ.ɡræm/
A computer program that checks a running program to make sure it is doing the right thing.
The runtime verification program caught the bug while the game was still running.
OTHER MEANINGS
2. A tool that watches a program's behavior during execution and reports rule violations.
Engineers used a runtime verification program to flag unsafe memory access.
3. A set of instructions that checks system behavior as it happens rather than before it starts.
The runtime verification program alerted the team when the robot moved too fast.
4. Software that confirms a running application follows its safety rules.
A runtime verification program kept the self-driving car within its lane rules.