Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,262
ROSRV: Runtime Verification for Robots
"... Abstract. We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS ..."
Abstract
- Add to MetaCart
Abstract. We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS
Runtime verification for LTL and TLTL
, 2007
"... This paper studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three-valued ..."
Abstract
-
Cited by 69 (17 self)
- Add to MetaCart
This paper studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three
A Brief Account of Runtime Verification
, 2008
"... In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishi ..."
Abstract
-
Cited by 80 (3 self)
- Add to MetaCart
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification, a comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its
Combining Testing and Runtime Verification
"... Abstract—Testing and runtime verification are intimately related: runtime verification enables testing of systems beyond their deployment by monitoring them under normal use while testing is not only concerned with monitoring the behaviour of systems but also generating test cases which are able to ..."
Abstract
- Add to MetaCart
Abstract—Testing and runtime verification are intimately related: runtime verification enables testing of systems beyond their deployment by monitoring them under normal use while testing is not only concerned with monitoring the behaviour of systems but also generating test cases which are able
Statistics and Runtime Verification
"... The importance of correctness of systems is be-coming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such cor-rectness, with one of the more promising ones being runtime verification. One important issue in r ..."
Abstract
- Add to MetaCart
The importance of correctness of systems is be-coming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such cor-rectness, with one of the more promising ones being runtime verification. One important issue
Adaptive Runtime Verification
"... Abstract. We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime verification with state estimation, and predictive analysis are synergistically combined. Overhead control maintains the overhead of runtime verification at a specified ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
Abstract. We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime verification with state estimation, and predictive analysis are synergistically combined. Overhead control maintains the overhead of runtime verification at a
Collaborative Runtime Verification with Tracematches
- In LNCS 4839: 7th Int’l Workshop on Runtime Verification
, 2007
"... In the verification community it is now widely accepted that, in particular for large programs, verification is often incomplete and hence bugs still arise in deployed code on the machines of end users. Yet, in most cases, verification code is taken out prior to deployment due to large performance p ..."
Abstract
-
Cited by 20 (5 self)
- Add to MetaCart
penalties induced by current runtime verification approaches. Consequently, if errors do arise in a production environment, bugs are hard to find, since the available debugging information is often very limited. In previous work on tracematches [1], we have shown that in many cases runtime monitoring can
Runtime verification of .NET contracts
- THE JOURNAL OF SYSTEMS AND SOFTWARE
, 2003
"... We propose a method for implementing behavioral interface specifications on the.NET platform. Our interface specifications are expressed as executable model programs. Model programs can be run either as stand-alone simulations or used as contracts to check the conformance of an implementation class ..."
Abstract
-
Cited by 37 (10 self)
- Add to MetaCart
to its specification. We focus on the latter, which we call runtime verification. In our framework, model programs are expressed in the new specification language AsmL. We describe how AsmL can be used to describe contracts independently from any implementation language, how AsmL allows properties
Runtime Verification for Stochastic Systems
, 2010
"... We desire a capability for the safety monitoring of complex, mixed hardware/software systems, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty in the ..."
Abstract
- Add to MetaCart
We desire a capability for the safety monitoring of complex, mixed hardware/software systems, such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty
Results 1 - 10
of
1,262
