runtime-verified code

noun

UK /ˈrʌn.taɪm ˈver.ɪ.faɪd kəʊd/

US /ˈrʌn.taɪm ˈver.ə.faɪd koʊd/

Code that is checked for mistakes while it is running.

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

SYNONYMS

dynamically checked code run-time checked code live-verified code execution-checked code

RELATED WORDS

runtime verification type checking assertion sandboxing error handling

OTHER MEANINGS

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

The browser runs runtime-verified code to keep unsafe scripts from harming your computer.

3. A program that includes checks which confirm each step is correct while the program is active.

Our robot uses runtime-verified code to make sure every move stays within safe limits.

4. Code that is tested and confirmed by a monitor while it operates, not just when it is written.

The banking app relies on runtime-verified code to confirm every transaction is valid.