Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23010| Title: | Towards proof-theoretic interpretations for LTL monitoring |
| Authors: | Cini, Clare Francalanza, Adrian |
| Keywords: | Computer software -- Verification Computer algorithms Coinduction (Mathematics) |
| Issue Date: | 2012-11 |
| Publisher: | University of Malta. Faculty of ICT |
| Citation: | Cini, C., & Francalanza, A. (2012). Towards proof-theoretic interpretations for LTL monitoring. Computer Science Annual Workshop CSAW’12, Msida. 7. |
| Abstract: | In this talk we will present a study on how runtime verification (RV) algorithms can be given one common proof-theoretic interpretation. In RV, there is a lot of work that deals with verification algorithms, yet there is no standard notation for such algorithms making it hard to understand and compare such work. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23010 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Proceedings of CSAW12 - A2.pdf | 162.27 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.