Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorSeychell, Aldrin-
dc.identifier.citationFrancalanza, A., & Seychell, A. (2015). Synthesising correct concurrent runtime monitors. Formal Methods in System Design, 46(3), 226-261.en_GB
dc.description.abstractThis paper studies the correctness of automated synthesis for concurrent monitors. We adapt a subset of the Hennessy-Milner logic with recursion (a reformulation of the modal μ-calculus) to specify safety properties for Erlang programs. We also define an automated translation from formulas in this sub-logic to concurrent Erlang monitors that detect formula violations at runtime. Subsequently, we formalise a novel definition for monitor correctness that incorporates monitor behaviour when instrumented with the program being monitored. Finally, we devise a sound technique that allows us to prove monitor correctness in stages; this technique is used to prove the correctness of our automated monitor synthesis.en_GB
dc.publisherSpringer New York LLCen_GB
dc.subjectAutonomous distributed systemsen_GB
dc.subjectComputer network architecturesen_GB
dc.subjectFormal methods (Computer science)en_GB
dc.subjectComputer software -- Developmenten_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectAspect-oriented programmingen_GB
dc.subjectComputer software -- Testingen_GB
dc.subjectERLANG (Computer program language)en_GB
dc.titleSynthesising correct concurrent runtime monitorsen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holderen_GB
dc.publication.titleFormal Methods in System Designen_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
rv13jour.pdf253.19 kBAdobe PDFView/Open

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