Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86175| Title: | Introduction to runtime verification |
| Other Titles: | Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457 |
| Authors: | Bartocci, Ezio Falcone, Yliès Francalanza, Adrian Reger, Giles |
| Keywords: | Computer software -- Verification Formal methods (Computer science) Computer software -- Testing Software engineering |
| Issue Date: | 2018 |
| Publisher: | Springer |
| Citation: | Bartocci, E., Falcone, Y., Francalanza, A., & Reger, G. (2018). Introduction to runtime verification. In: E. Bartocci, & Y. Falcone (eds), Lectures on Runtime Verification. Lecture Notes in Computer Science, vol 10457 (pp. 1-33). Cham: Springer. |
| Abstract: | The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/86175 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Chapter_IntroductionToRuntimeVerificat.pdf Restricted Access | 1.54 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.