Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

14 relations
AspectJDesign markerDynamic program analysisFormal verification
Expand

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong… Expand
  • figure 1
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Runtime Verification for LTL and TLTL
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Runtime Verification with State Estimation
We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
What can you verify and enforce at runtime?
The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems
Software validation and verification (VV and (ii) present a proposal for including V&V operations explicitly in feedback loops… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
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… Expand
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Runtime Verification of Safety-Progress Properties
The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and… Expand
  • 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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • 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… Expand
  • 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… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE