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.
2013
2013
SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures
Service Oriented Architectures are nowadays used in a wide range of organizations to support critical daily operations. Although… 
2010
2010
Formal design and implementation of constraints in software components
2010
2010
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking
Interpolant-based model checking has been shown to be effective on large verification instances, as it efficiently combines… 
2009
2009
Use of electronic calibration units for vector-network-analyzer verification
We present measurements demonstrating that electronic calibration units are stable enough to be used in place of mechanical… 
2008
2008
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
Interpolant-based model checking has been shown effective on large verification instances, as it efficiently combines automated… 
2008
2008
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulation- based… 
2005
2005
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality… 
2004
2004
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions
Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided… 
2004
2004
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The… 
2002
2002
Two-Way Alternating Automata and Finite Models
A graph extension oft wo-way alternating automata on trees is considered. The following problem: "does a given automaton accept… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)