Runtime Verification

Runtime Verification is an emerging research field with strong ties to Model Checking. It is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. It is concerned with checking software based on data from actual runs of the software. It’s specifications are typically expressed in trace predicate formalisms, such as finite state machines, regular expressions, context-free patterns, linear temporal logics, etc., or extensions of these.