Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Khurshid, Sarfraz (Editor), Sen, Koushik (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
• Series: Lecture Notes in Computer Science, 7186
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations...