Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9333)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (28 papers)
-
Front Matter
-
Invited Paper
-
Front Matter
-
-
Regular Papers
-
Front Matter
-
-
Short Papers
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.
The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.
Keywords
- Formal languages
- Formal methods
- Logic and verification
- Security and privacy
- Software testing and debugging
- Automata theory
- Context-free languages
- Distributed systems
- Dynamic analysis
- Formal language definitions
- Grammars
- Model checking
- Monitoring algorithms
- Quantitative semantics
- Regular languages
- Software engineering
- Software verification
- Theory of computation
- Transducers
- Turing patterns
Editors and Affiliations
-
TU Wien, Vienna, Austria
Ezio Bartocci
-
Max Planck Institute for Software Systems, Kaiserslautern, Germany
Rupak Majumdar
Bibliographic Information
Book Title: Runtime Verification
Book Subtitle: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Editors: Ezio Bartocci, Rupak Majumdar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-23820-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-23819-7Published: 11 September 2015
eBook ISBN: 978-3-319-23820-3Published: 19 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 432
Number of Illustrations: 133 b/w illustrations
Topics: Software Engineering, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages