Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	RV (Workshop) (7th : 2007 : Vancouver, B.C.)
Imprint:	Berlin ; New York : Springer, ©2007.
Description:	1 online resource (viii, 213 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 4839 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 4839. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Computer software -- Verification -- Congresses. Computer software -- Testing -- Congresses. Aspect-oriented programming -- Congresses. Aspect-oriented programming. Computer software -- Testing. Computer software -- Verification. Formal methods (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11067222

Hidden Bibliographic Details
Varying Form of Title:	RV 2007
Other authors / contributors:	Sokolsky, Oleg. Tasiran, Serdar.
ISBN:	9783540773955 3540773959 9783540773948 3540773940
Notes:	Includes bibliographical references and index. Print version record.
Summary:	This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.
Other form:	Print version: RV 2007 (2007 : Vancouver, B.C.). Runtime verification. Berlin ; New York : Springer, ©2007 9783540773948 3540773940
Standard no.:	9786611342845 10.1007/978-3-540-77395-5

Description
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.
Physical Description:	1 online resource (viii, 213 pages) : illustrations.
Bibliography:	Includes bibliographical references and index.
ISBN:	9783540773955 3540773959 9783540773948 3540773940
ISSN:	0302-9743 ;