Lectures on Runtime Verification
Introductory and Advanced Topics
Editors: Bartocci, Ezio, Falcone, Yliès (Eds.)
Free Preview- Made for students, researchers, and practioniers
- High quality selected papers
- Includes sample problems and solutions
Buy this book
- About this Textbook
-
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
- About the authors
-
Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.
- Table of contents (7 chapters)
-
-
Introduction to Runtime Verification
Pages 1-33
-
Discovering Concurrency Errors
Pages 34-60
-
Monitoring Events that Carry Data
Pages 61-102
-
Runtime Failure Prevention and Reaction
Pages 103-134
-
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Pages 135-175
-
Table of contents (7 chapters)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Lectures on Runtime Verification
- Book Subtitle
- Introductory and Advanced Topics
- Editors
-
- Ezio Bartocci
- Yliès Falcone
- Series Title
- Programming and Software Engineering
- Series Volume
- 10457
- Copyright
- 2018
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG
- eBook ISBN
- 978-3-319-75632-5
- DOI
- 10.1007/978-3-319-75632-5
- Softcover ISBN
- 978-3-319-75631-8
- Edition Number
- 1
- Number of Pages
- VII, 233
- Number of Illustrations
- 28 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
