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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in… 
2009
2009
We present measurements demonstrating that electronic calibration units are stable enough to be used in place of mechanical… 
2009
2009
Cross-organizational business processes gain more and more attention in the scientific community. For modeling these processes… 
2008
2008
This approach introduces a coupling of a specification framework with a verification system. Given a system, represented in a… 
2008
2008
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulation- based… 
2005
2005
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality… 
2005
2005
This paper describes the current status of software safety in terms of research and existing standards. It highlights the… 
2004
2004
Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided… 
2003
2003
We use AsmL, an executable specification language created by the Foundations of Software Engineering group [1], to describe the…