runtimeverification
nounUK /ˈrʌntaɪm ˌverɪfɪˈkeɪʃən/
US /ˈrʌntaɪm ˌverəfəˈkeɪʃən/
Checking that a computer program is doing the right thing while it is running.
The team used runtime verification to catch bugs while the app was running.
OTHER MEANINGS
2. A method that watches a system's behavior during execution and reports when it breaks a rule.
Runtime verification flagged the error the moment the sensor sent a bad value.
3. The process of checking safety rules on a running program without stopping it.
Runtime verification kept the robot safe by checking its speed every second.
4. A field of computer science that combines testing and formal methods to check running software.
She studied runtime verification to make self-driving cars safer.