Please use this identifier to cite or link to this item:
Title: The way forward for DETECTER
Authors: Francalanza, Adrian
Seychell, Aldrin
Cassar, Ian
Cutajar, Kurt
Said, Simon
Schembri, Blanche
Keywords: Computer programs -- Correctness
ERLANG (Computer program language)
Object monitors (Computer software)
Issue Date: 2013-11
Publisher: University of Malta. Faculty of ICT
Citation: Cassar, I., Cutajar, K., Francalanza, A., Said, S., Schembri, B., & Seychell, A. (2013). The way forward for DETECTER. Computer Science Annual Workshop CSAW’13, Msida. 15-17.
Abstract: Monitor correctness is a prerequisite for the adoption of runtime verification as a lightweight formal technique ensuring program correctness. The tool DETECTER is a runtime verification tool synthesizing correct monitors from u-calculus formulas describing safety Erlang properties.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW’13 - A14.pdf1.93 MBAdobe PDFView/Open

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