Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Editors: Leucker, Martin (Ed.)
Free PreviewBuy this book
- About this book
-
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 from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
- Table of contents (11 chapters)
-
-
A Smell of Orchids
Pages 1-20
-
Runtime Certification
Pages 21-35
-
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects
Pages 36-50
-
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns
Pages 51-68
-
Forays into Sequential Composition and Concatenation in Eagle
Pages 69-85
-
Table of contents (11 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Runtime Verification
- Book Subtitle
- 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
- Editors
-
- Martin Leucker
- Series Title
- Programming and Software Engineering
- Series Volume
- 5289
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-89247-2
- DOI
- 10.1007/978-3-540-89247-2
- Softcover ISBN
- 978-3-540-89246-5
- Edition Number
- 1
- Number of Pages
- VII, 189
- Topics