𝔖 Scriptorium
✦   LIBER   ✦
📁

Lectures on Runtime Verification: Introductory and Advanced Topics

✍ Scribed by Ezio Bartocci,Yliès Falcone (eds.)

Publisher
Springer International Publishing
Year
2018
Tongue
English
Leaves
240
Series
Programming and Software Engineering 10457
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter ....Pages I-VII
Introduction to Runtime Verification (Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger)....Pages 1-33
Discovering Concurrency Errors (João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar)....Pages 34-60
Monitoring Events that Carry Data (Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zălinescu)....Pages 61-102
Runtime Failure Prevention and Reaction (Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha)....Pages 103-134
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković et al.)....Pages 135-175
Runtime Verification for Decentralised and Distributed Systems (Adrian Francalanza, Jorge A. Pérez, César Sánchez)....Pages 176-210
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges (Christian Colombo, Gordon J. Pace)....Pages 211-232
Back Matter ....Pages 233-233

✦ Subjects

Software Engineering

📜 SIMILAR VOLUMES

Lectures on Runtime Verification: Introd
📁 Lectures on Runtime Verification: Introductory and Advanced Topics
✍ Bartocci, Ezio.;Falcone, Yliès 📂 Library 📅 2018 🏛 Springer International Publishing 🌐 English

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 an

Introductory Lectures on Rings and Modul
📁 Introductory Lectures on Rings and Modules
✍ John A. Beachy 📂 Library 📅 1999 🏛 Cambridge University Press 🌐 English

The focus of this book is the study of the noncommutative aspects of rings and modules, and the style will make it accessible to anyone with a background in basic abstract algebra. Features of interest include an early introduction of projective and injective modules; a module theoretic approach to

Runtime Verification: A Hands-On Approac
📁 Runtime Verification: A Hands-On Approach in Java
✍ Christian Colombo, Gordon J. Pace 📂 Library 📅 2022 🏛 Springer 🌐 English

<p><span>This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the boo

Runtime Verification: A Hands-On Approac
📁 Runtime Verification: A Hands-On Approach in Java
✍ Christian Colombo, Gordon J. Pace 📂 Library 🏛 Springer 🌐 English

<p><span>This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the boo