Table of Contents

An Introduction to Runtime Verification.- Discovering Concurrency Errors.- Monitoring Events That Carry Data.- Runtime Error Reaction and Prevention.- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.- Runtime Verification for Decentralized and Distributed Systems.- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.

About the Author

Editors: Ezio Bartocci, TU Wien, Austria and Yliès Falcone, University of Grenoble Alpes, France.