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.
Abstract
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
@inproceedings{bendersky-lafm-2013,
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",
}