Lectures on Runtime Verification

Introductory and Advanced Topics

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Lectures on Runtime Verification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319756325
Publisher: Springer International Publishing Publication: February 10, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319756325
Publisher: Springer International Publishing
Publication: February 10, 2018
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Exploitation and Misrule in Colonial and Postcolonial Africa by
Cover of the book CMOS 60-GHz and E-band Power Amplifiers and Transmitters by
Cover of the book Synthesis and Characterisation of Non-Fullerene Electron Acceptors for Organic Photovoltaics by
Cover of the book Broken Pumps and Promises by
Cover of the book Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation by
Cover of the book Evaluation of Novel Approaches to Software Engineering by
Cover of the book Topological Microfluidics by
Cover of the book Pediatric Demyelinating Diseases of the Central Nervous System and Their Mimics by
Cover of the book Locating, Classifying and Countering Agile Land Vehicles by
Cover of the book Random Walks in the Quarter Plane by
Cover of the book Beyond Bureaucracy by
Cover of the book Professional Learning in the Work Place for International Students by
Cover of the book Between Globalization and Integration by
Cover of the book The 11th IFToMM International Symposium on Science of Mechanisms and Machines by
Cover of the book Modeling and Optimization: Theory and Applications by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy