The DynAlloy Visualizer

Pablo Bendersky
(Departamento de Computación, FCEyN, UBA Buenos Aires, Argentina) 		Juan Pablo Galeotti
(Saarland University Saarbrücken, Germany) 		Diego Garbervetsky
(Departamento de Computación, FCEyN, UBA Buenos Aires, Argentina)

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.

In Nazareno Aguirre and Leila Ribeiro: Proceedings First Latin American Workshop on Formal Methods (LAFM 2013), Buenos Aires, Argentina, August 26th 2013, Electronic Proceedings in Theoretical Computer Science 139, pp. 59–64.
Published: 2nd January 2014.
ArXived at: https://dx.doi.org/10.4204/EPTCS.139.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org