O. Sokolsky (ed.)

Runtime Verification

7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Herausgegeben:Sokolsky, Oleg; Tasiran, Serdar

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 4839
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12208111, 978-3-540-77394-8
• 2007
• Seitenzahl: 228
• Erscheinungstermin: 12. Dezember 2007
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 353g
• ISBN-13: 9783540773948
• ISBN-10: 3540773940
• Artikelnr.: 23412214

Inhaltsangabe

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.