Programming and Software Engineering

Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Editors: Falcone, Yliès, Sánchez, César (Eds.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-319-46982-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-46981-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.

The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Table of contents (35 chapters)

  • Some Thoughts on Runtime Verification

    Maler, Oded

    Pages 3-14

  • First International Summer School on Runtime Verification

    Colombo, Christian (et al.)

    Pages 17-20

  • Third International Competition on Runtime Verification

    Reger, Giles (et al.)

    Pages 21-37

  • Runtime Verification for HyperLTL

    Bonakdarpour, Borzoo (et al.)

    Pages 41-45

  • Runtime Verification at Work: A Tutorial

    Daian, Philip (et al.)

    Pages 46-67

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-319-46982-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-319-46981-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Runtime Verification
Book Subtitle
16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Editors
  • Yliès Falcone
  • César Sánchez
Series Title
Programming and Software Engineering
Series Volume
10012
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-46982-9
DOI
10.1007/978-3-319-46982-9
Softcover ISBN
978-3-319-46981-2
Edition Number
1
Number of Pages
XXI, 512
Number of Illustrations and Tables
111 b/w illustrations
Topics