Premium Members Get 10% Off and Earn Rewards Find Out More
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal verification methods as model checking. Research in runtime verification deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is sufficient for checking of the property. Applications of runtime verification technology include po- deployment monitoring of system correctness and performance; construction of formally specified test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Verification was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Verification (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
1111360006
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal verification methods as model checking. Research in runtime verification deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is sufficient for checking of the property. Applications of runtime verification technology include po- deployment monitoring of system correctness and performance; construction of formally specified test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Verification was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Verification (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
54.99 In Stock
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Overview

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal verification methods as model checking. Research in runtime verification deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is sufficient for checking of the property. Applications of runtime verification technology include po- deployment monitoring of system correctness and performance; construction of formally specified test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Verification was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Verification (CAV) in 2001–2003 and 2005–2006;and with the European Joint Conferences on Theory and Practice of Software (ETAPS) in 2004. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.

Product Details

ISBN-13: 9783540773948
Publisher: Springer Berlin Heidelberg
Publication date: 02/06/2008
Series: Lecture Notes in Computer Science , #4839
Edition description: 2007
Pages: 218
Product dimensions: 6.10(w) x 9.25(h) x 0.21(d)

Table of Contents

Invited Paper.- PSL for Runtime Verification: Theory and Practice.- AOP-Related Papers.- On the Semantics of Matching Trace Monitoring Patterns.- Collaborative Runtime Verification with Tracematches.- Static and Dynamic Detection of Behavioral Conflicts Between Aspects.- Escaping with Future Variables in HALO.- Runtime Verification of Interactions: From MSCs to Aspects.- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.- ARVE: Aspect-Oriented Runtime Verification Environment.- Core Runtime Verification Papers.- From Runtime Verification to Evolvable Systems.- Rule Systems for Run-Time Monitoring: From Eagle to RuleR.- The Good, the Bad, and the Ugly, But How Ugly Is Ugly?.- Translation Validation of System Abstractions.- Instrumentation of Open-Source Software for Intrusion Detection.- Statistical Runtime Checking of Probabilistic Properties.- Temporal Assertions with Parametrised Propositions.- Rollback Atomicity.- Runtime Checking for Program Verification.
From the B&N Reads Blog
Page 1 of

Customer Reviews