Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/78346
Title: | Synthesising correct concurrent runtime monitors |
Authors: | Seychell, Aldrin (2013) |
Keywords: | Computer software -- Verification Computer software -- Validation ERLANG (Computer program language) |
Issue Date: | 2013 |
Citation: | Seychell, A. (2013). Synthesising correct concurrent runtime monitors (Master's dissertation). |
Abstract: | In runtime verification, it is essential to guarantee the correctness of monitors used to verify other systems. However, guaranteeing monitor correctness is not a trivial task, especially in a concurrent setting. We adapt sHML, a subset of the Hennessy Milner Logic with recursion, to specify safety properties of ERLANG programs ln this study, we also formalise the semantics of the ERLANG tracing mechanism which is used to instrument ERLANG programmes. |
Description: | M.SC.COMP.SCI.&ARTIFICIAL INTELLIGENCE |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/78346 |
Appears in Collections: | Dissertations - FacICT - 2013 Dissertations - FacICTAI - 2002-2014 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
M.SC.COMP.SCI._ARTIFICIAL INTELLIGENCE_Seychell_Aldrin_2013.pdf Restricted Access | 6.87 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.