Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27919
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ahrendt, Wolfgang | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.date.accessioned | 2018-03-14T14:26:12Z | - |
dc.date.available | 2018-03-14T14:26:12Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Ahrendt, W., & Pace, G. J. (2015). KeY + LARVA = STARVOORS. 7th workshop in Information and Communication Technology (WICT 2015), Msida. 1-2. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/27919 | - |
dc.description.abstract | Over the past decades, various forms of automated verification techniques have been proposed and explored in the literature, mostly falling in one of two categories — static and dynamic verification. On one hand, static verification techniques have the ability to verify properties across all possible executions of a system, but fully automated verification is typically not easy to perform. On the other hand, dynamic verification techniques, such as runtime verification, can only give feedback on single executions of the system, but are easy to automate. However, despite the fact that monitoring is typically easy to automate, its adoption in industry is limited — primarily due to the overheads in the system execution that such monitoring typically induces. In this paper, we explore a novel approach in which we combine the two approaches — using static analysis to prune parts of the specification, thus reducing the overheads for the dynamic verification process. We present our framework STARVOORS, which embodies this approach by combining the static analysis tool KeY and the dynamic verification tool LARVA, and discuss how it has been applied to the Mondex case study — an electronic purse implementation. The results presented here have been accepted for publication in and builds upon our previous results from. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of ICT | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer programs -- Verification | en_GB |
dc.subject | Programming languages (Electronic computers) | en_GB |
dc.subject | Object-oriented programming languages | en_GB |
dc.subject | Electronic funds transfers | en_GB |
dc.title | KeY + LARVA = STARVOORS | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The 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 holder. | en_GB |
dc.bibliographicCitation.conferencename | 7th Workshop in Information and Communication Technology (WICT 2015) | en_GB |
dc.bibliographicCitation.conferenceplace | Msida, Malta, 14-15/05/2015 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
KeY_LARVA_STARVOORS_2015.pdf | 249.42 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.