Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66937
Título: | IVY 2-A model-based analysis tool |
Autor(es): | Couto, Rui Campos, José C. |
Palavras-chave: | Model-based design and analysis interactive systems formal verification model checking tool support |
Data: | 2019 |
Editora: | Association for Computing Machinery |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/66937 |
ISBN: | 9781450367455 |
DOI: | 10.1145/3319499.3328228 |
Versão da editora: | https://dl.acm.org/doi/10.1145/3319499.3328228 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
3319499.3328228.pdf | 306,26 kB | Adobe PDF | Ver/Abrir |