Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66789
Título: | The MAL Interactors Animator: Supporting model validation through animation |
Autor(es): | Campos, José C. Sousa, Nuno |
Palavras-chave: | formal verification model checking model animation |
Data: | 2018 |
Editora: | Association for Computing Machinery (ACM) |
Resumo(s): | The IVY workbench is a model checking based tool for the analysis of interactive system designs. Experience shows that there is a need to complement the analytic power of model checking with support for model validation and analysis of verification results. Animation of the model provides this support by allowing iterative exploration of its behaviour. This paper introduces a new model animation plugin for the IVY workbench. The plugin (AniMAL) complements the modelling and verification capabilities of IVY by providing users with the possibility to interact directly with the model. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/66789 |
ISBN: | 9781450358972 |
DOI: | 10.1145/3220134.3220142 |
Versão da editora: | https://dl.acm.org/doi/10.1145/3220134.3220142 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
IVYanimator-author.pdf | 1,25 MB | Adobe PDF | Ver/Abrir |