Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23049
Title: | Designing correct runtime-monitors for Erlang |
Authors: | Seychell, Aldrin Francalanza, Adrian |
Keywords: | Computer programs -- Verification ERLANG (Computer program language) Declarative programming languages |
Issue Date: | 2012-11 |
Publisher: | University of Malta. Faculty of ICT |
Citation: | Francalanza, A., & Seychell, A. (2012). Designing correct runtime-monitors for Erlang. Computer Science Annual Workshop CSAW’12, Msida. 23. |
Abstract: | In runtime verification, a monitor continuously checks the execution of a program that is running concurrently with it. Normally, the runtime monitor checks that the system does not violate a correctness property. Any runtime monitor is expected to satisfy the following: If a system does not obey a property φ, then the monitor for φ MUST flag a failure. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23049 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW12 - A10.pdf | 193.81 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.