Source: wikibot/runtime-verification
= Runtime verification
{wiki=Runtime_verification}
Runtime verification is a technique used in computer science and software engineering that involves checking the behavior of a program or system as it executes (during runtime) to ensure that it meets specified properties or requirements. The goal is to detect errors, violations, or inconsistencies in a system while it is running, rather than only testing it statically (before execution) or through exhaustive testing.