The DynAlloy visualizer

We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Galeotti, Juan Pablo, Garbervetsky, Diego
Publicado: 2014
Materias:
Formal methods
Debuggers
Intermediate representations
Visualizers
User interfaces
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p59_Bendersky
http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p59_Bendersky
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_20752180_v139_n_p59_Bendersky
record_format dspace
spelling paper:paper_20752180_v139_n_p59_Bendersky2023-06-08T16:34:14Z The DynAlloy visualizer Galeotti, Juan Pablo Garbervetsky, Diego Formal methods Debuggers Intermediate representations Visualizers User interfaces We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model. Fil:Galeotti, J.P. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2014 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p59_Bendersky http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p59_Bendersky
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Formal methods
Debuggers
Intermediate representations
Visualizers
User interfaces
spellingShingle Formal methods
Debuggers
Intermediate representations
Visualizers
User interfaces
Galeotti, Juan Pablo
Garbervetsky, Diego
The DynAlloy visualizer
topic_facet Formal methods
Debuggers
Intermediate representations
Visualizers
User interfaces
description We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model.
author Galeotti, Juan Pablo
Garbervetsky, Diego
author_facet Galeotti, Juan Pablo
Garbervetsky, Diego
author_sort Galeotti, Juan Pablo
title The DynAlloy visualizer
title_short The DynAlloy visualizer
title_full The DynAlloy visualizer
title_fullStr The DynAlloy visualizer
title_full_unstemmed The DynAlloy visualizer
title_sort dynalloy visualizer
publishDate 2014
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_20752180_v139_n_p59_Bendersky
http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p59_Bendersky
work_keys_str_mv AT galeottijuanpablo thedynalloyvisualizer
AT garbervetskydiego thedynalloyvisualizer
AT galeottijuanpablo dynalloyvisualizer
AT garbervetskydiego dynalloyvisualizer
_version_ 1768545668855496704

Ejemplares similares