Please use this identifier to cite or link to this item:
|Title:||IVY 2: A model-based analysis tool|
|Authors:||José Creissac Campos|
Rui Miguel Couto
|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.|
|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.