Please use this identifier to cite or link to this item:
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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW12 - A10.pdf193.81 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.