Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
AspectJDesign markerDynamic program analysisFormal verification

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Deterministic Event Calculus for Effective Runtime Verification
Runtime verification (RV) is an effective technique for dynamically monitoring, even after deployment, properties that could be… 
2015
2015
Runtime Verification of Expected Energy Consumption in Smartphones
Smartphones connected to Internet should work properly for days without a reset. One of the most critical non-functional… 
2015
2015
Runtime Verification for Hybrid Analysis Tools
In this paper, we present the first steps toward a runtime verification framework for monitoring hybrid and cyber-physical… 
2014
2014
Parallelized Runtime Verification of First-order LTL Specifications
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online… 
2013
2013
A Simple and Efficient Framework for Detection of SQL Injection Attack
Web applications have become an integral part of the daily life. One of the most serious types of attack against web applications… 
2011
2011
Active Program Analysis Using Rule-Based Modification and Aspectation
Active programs behave based on occurrence of events and therefore they facilitate capturing events and states. The active system… 
2008
2008
Focus on Isabelle : From Specification to Verification ?
This approach introduces a coupling of a specification framework with a verification system. Given a system, represented in a… 
2007
2007
07011 Executive Summary -- Runtime Verification
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 A¢â‚¬EœRuntime VerificationA¢â‚¬â„¢ was held in the International… 
2006
2006
Runtime Verification of Java Programs for Scenario-Based Specifications
In this paper, we use UML sequence diagrams as scenariobased specifications, and give the solution to runtime verification of… 
2005
2005
Software safety: current status and future direction
This paper describes the current status of software safety in terms of research and existing standards. It highlights the…