Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bensalem, Saddek (Editor), Peled, Doron A. (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Series:	Lecture Notes in Computer Science, 5779
Subjects:	Computer science. Computer software > Reusability. Computer system failures. Software engineering. Programming languages (Electronic computers). Computers. Computer Science. Software Engineering. Software Engineering/Programming and Operating Systems. Theory of Computation. Performance and Reliability. Programming Languages, Compilers, Interpreters. System Performance and Evaluation.
Online Access:	Full Text via HEAL-Link

Table of Contents:

Rule Systems for Runtime Verification: A Short Tutorial
Verification, Testing and Statistics
Type-Separated Bytecode – Its Construction and Evaluation
Runtime Verification of Safety-Progress Properties
Monitor Circuits for LTL with Bounded and Unbounded Future
State Joining and Splitting for the Symbolic Execution of Binaries
The LIME Interface Specification Language and Runtime Monitoring Tool
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
Runtime Verification of C Memory Safety
A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis
Hardware Supported Flexible Monitoring: Early Results
DMaC: Distributed Monitoring and Checking.

Similar Items