Advertisement

Lectures on Runtime Verification

Introductory and Advanced Topics

  • Ezio Bartocci
  • Yliès Falcone

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10457)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10457)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
    Pages 1-33
  3. João M. Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
    Pages 34-60
  4. Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zălinescu
    Pages 61-102
  5. Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
    Pages 103-134
  6. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković et al.
    Pages 135-175
  7. Adrian Francalanza, Jorge A. Pérez, César Sánchez
    Pages 176-210
  8. Back Matter
    Pages 233-233

About this book

Introduction

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.

Keywords

Computer software selection and evaluation Formal languages and automata theory Grammars and context-free languages Model checking Semantics Software engineering Software testing and debugging Specification language Transducers Verification

Editors and affiliations

  1. 1.TU WienViennaAustria
  2. 2.Université Grenoble Alpes, Inria, Laboratoire d’Informatique de GrenobleGrenobleFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-75632-5
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-75631-8
  • Online ISBN 978-3-319-75632-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering