The DynAlloy Visualizer - LAFM 2013
by Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky

Nazareno Aguirre, Leila Ribeiro (Ed.), Pages 59-64, Electronic Proceedings in Theoretical Computer Science, Volume 139, Open Publishing Association, January 2014.

Digital Library via DOI: 10.4204/EPTCS.139.6 - Local copy: Download as PDF file.


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.

BibTeX Entry

    title = "The DynAlloy Visualizer",
    author = "Pablo Bendersky and Juan Pablo Galeotti and Diego Garbervetsky",
    year = "2014",
    month = jan,
    editors = "Nazareno Aguirre and Leila Ribeiro",
    pages = "59--64",
    publisher = "Open Publishing Association",
    series = "Electronic Proceedings in Theoretical Computer Science",
    volume = "139",
    doi = "10.4204/EPTCS.139.6",

Show all publications of the Software Engineering Chair.