Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leucker, Martin (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Series: Lecture Notes in Computer Science, 5289
• 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.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected fro...