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: Bendersky, P., Galeotti, J.P., Garbervetsky, D., Ribeiro L., Aguirre N.
Formato: CONF
Materias:
Formal methods
Debuggers
Intermediate representations
Visualizers
User interfaces
Acceso en línea: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 todo:paper_20752180_v139_n_p59_Bendersky
record_format dspace
spelling todo:paper_20752180_v139_n_p59_Bendersky2023-10-03T16:39:15Z The DynAlloy visualizer Bendersky, P. Galeotti, J.P. Garbervetsky, D. Ribeiro L. Aguirre N. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Bendersky, P.
Galeotti, J.P.
Garbervetsky, D.
Ribeiro L.
Aguirre N.
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.
format CONF
author Bendersky, P.
Galeotti, J.P.
Garbervetsky, D.
Ribeiro L.
Aguirre N.
author_facet Bendersky, P.
Galeotti, J.P.
Garbervetsky, D.
Ribeiro L.
Aguirre N.
author_sort Bendersky, P.
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
url http://hdl.handle.net/20.500.12110/paper_20752180_v139_n_p59_Bendersky
work_keys_str_mv AT benderskyp thedynalloyvisualizer
AT galeottijp thedynalloyvisualizer
AT garbervetskyd thedynalloyvisualizer
AT ribeirol thedynalloyvisualizer
AT aguirren thedynalloyvisualizer
AT benderskyp dynalloyvisualizer
AT galeottijp dynalloyvisualizer
AT garbervetskyd dynalloyvisualizer
AT ribeirol dynalloyvisualizer
AT aguirren dynalloyvisualizer
_version_ 1782027449724305408

Ejemplares similares