Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23086| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23086 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Proceedings of CSAW’13 - A14.pdf | 1.93 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.