Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Tasiran.

Format:

Book

Contributor:

Sokolsky, Oleg, editor.

Tasiran, Serdar, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 4839.

Programming and Software Engineering ; 4839

Language:

English

Subjects (All):

Programming languages (Electronic computers).

Software engineering.

Computer logic.

Management information systems.

Computer science.

Programming Languages, Compilers, Interpreters.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Local Subjects:

Programming Languages, Compilers, Interpreters.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Physical Description:

1 online resource (VIII, 218 pages).

Edition:

First edition 2007.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.

System Details:

text file PDF

Summary:

Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation 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 su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and performance; construction of formally speci?ed test oracles; collection of statistics about system behavior, among others. The Workshop on Runtime Veri?cation was started in 2001 and has been held annually since then. The workshop was co-located with the Conference on Computer-Aided Veri?cation (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.

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.

Other Format:

Printed edition:

ISBN:

978-3-540-77395-5

9783540773955

Access Restriction:

Restricted for use by site license.