Lectures on Runtime Verification

£54.99

Lectures on Runtime Verification

Introductory and Advanced Topics

Information technology: general topics Software Engineering Mathematical theory of computation Systems analysis and design

Dinosaur mascot

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 10th February 2018

Format: LCP-protected ePub

Size: 2 Mb

ISBN: 9783319756325


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.

Show moreShow less