Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5779)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): RV: International Conference on Runtime Verification
Conference proceedings info: RV 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (13 papers)
-
Front Matter
-
Back Matter
Keywords
- C programming language
- algorithm analysis
- aspect-oriented languages
- certification
- debugging
- diagnosis
- dynamic program analysis
- programming
- runtime
- security
- specification languages
- tracing
- verification
Editors and Affiliations
-
Verimag Centre Equation, Gières, France
Saddek Bensalem
-
Department of Computer Science, Bar Ilan University, Ramat Gan, Israel
Doron A. Peled
Bibliographic Information
Book Title: Runtime Verification
Book Subtitle: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Editors: Saddek Bensalem, Doron A. Peled
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-04694-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-04693-3Published: 23 September 2009
eBook ISBN: 978-3-642-04694-0Published: 29 September 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 203
Topics: Software Engineering, Theory of Computation, Hardware Performance and Reliability, Compilers and Interpreters, System Performance and Evaluation