Runtime verification

Known as: Runtime validation, Verification 
Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to… (More)
Wikipedia

Related topics

Related topics

14 relations
AspectJDesign markerDynamic program analysisFormal verification
(More)

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
GPU-based Runtime Verification
Runtime verification is a monitoring technique to gain assurance about well-being of a program at run time. Most existing… (More)
Is this relevant?
2013
2013
Time-triggered runtime verification
The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Adaptive Runtime Verification
We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2011
2011
Sampling-Based Runtime Verification
The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A brief account of runtime verification
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification… (More)
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Mop: an efficient and generic runtime verification framework
Monitoring-Oriented Programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Combining test case generation and runtime verification
Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Rule-Based Runtime Verification
We present a rule-based framework for defining and implementing finite trace monitoring logics, including future and past time… (More)
Is this relevant?