Lectures On Runtime Verification

Download Lectures On Runtime Verification full books in PDF, epub, and Kindle. Read online free Lectures On Runtime Verification ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Lectures on Runtime Verification

Lectures on Runtime Verification
Author :
Publisher : Springer
Total Pages : 240
Release :
ISBN-10 : 9783319756325
ISBN-13 : 331975632X
Rating : 4/5 (32X Downloads)

Book Synopsis Lectures on Runtime Verification by : Ezio Bartocci

Download or read book Lectures on Runtime Verification 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. 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.


Lectures on Runtime Verification Related Books