run-time verified code

noun phrase

UK /ˈrʌn taɪm ˈvɛrɪfaɪd kəʊd/

US /ˈrʌn taɪm ˈvɛrɪfaɪd koʊd/

Code that is checked for mistakes while the program is running.

The game uses run-time verified code so it can catch errors as soon as they happen.

SYNONYMS

dynamically checked code runtime-checked code live-verified code execution-verified code

RELATED WORDS

runtime verification type checking debugging program execution

OTHER MEANINGS

2. Software whose safety rules are enforced during execution rather than before it starts.

The banking app relies on run-time verified code to block unsafe actions instantly.

3. A program that confirms its own data is correct each time it runs.

Run-time verified code double-checks the sensor readings before showing them.

4. Code that passes checks at the moment it is used, not when it is written.

Because it is run-time verified code, the update was tested live on the device.