Lectures on Runtime Verification
Download or Read eBook Lectures on Runtime Verification PDF written by Ezio Bartocci and published by Springer. This book was released on 2018-02-10 with total page 240 pages. Available in PDF, EPUB and Kindle.
| Author | : Ezio Bartocci |
| Publisher | : Springer |
| Total Pages | : 240 |
| Release | : 2018-02-10 |
| ISBN-10 | : 9783319756325 |
| ISBN-13 | : 331975632X |
| Rating | : 4/5 (25 Downloads) |
Book Synopsis Lectures on Runtime Verification by : Ezio Bartocci
Book excerpt: 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.
