Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24150
Title: | A model-based approach to combining static and dynamic verification techniques |
Other Titles: | Leveraging applications of formal methods, verification and validation : foundational techniques. ISoLA 2016. Lecture notes in computer science |
Authors: | Azzopardi, Shaun Colombo, Christian Pace, Gordon J. |
Keywords: | Computer software -- Verification Aspect-oriented programming Computer software -- Testing Computer network architectures |
Issue Date: | 2016 |
Publisher: | Springer, Cham |
Citation: | Azzopardi S., Colombo C., & Pace G. (2016) A model-based approach to combining static and dynamic verification techniques. In Margaria T., Steffen B. (Eds.), Leveraging applications of formal methods, verification and validation : foundational techniques. ISoLA 2016. Lecture notes in computer science (pp. 1-15). Cham: Springer. |
Abstract: | Given the complementary nature of static and dynamic analysis, there has been much work on identifying means of combining the two. In particular, the use of static analysis as a means of alleviating the overheads induced by dynamic analysis, typically by trying to prove parts of the properties, which would then not need to be verified at runtime. In this paper, we propose a novel framework which combines static with dynamic verification using a model-based approach. The approach allows the support of applications running on untrusted devices whilst using centralised sensitive services whose use is to be tightly regulated. In particular, we discuss how this approach is being adopted in the context of the Open Payments Ecosystem (OPE) — an ecosystem meant to support the development of payment and financial transaction applications with strong compliance verification to enable adoption by payment institutions. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/24150 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
isola2016a.pdf | 511.31 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.