Lectures On Runtime Verification: Introductory And Advanced Topics (lecture Notes In Computer Science)
by Yliès Falcone /
2018 / English / PDF
5.7 MB Download
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.
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.