Home
Runtime verification

Runtime verification

extraction of information from a running system to verify certain properties

en-GB/ɹʌntaɪm ˌvɛɹɪfɪˈkeɪʃən/

Categories:

formal verification dynamic program analysis