Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10474
Title: IVY 2: A model-based analysis tool
Authors: José Creissac Campos
Rui Miguel Couto
Issue Date: 2019
Abstract: The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them. © ACM 2019.
URI: http://repositorio.inesctec.pt/handle/123456789/10474
http://dx.doi.org/10.1145/3319499.3328228
metadata.dc.type: Publication
conferenceObject
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.