2014/01/06 by Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
Computer Science · #cs.SE #cs.LO
paper · pdf · doi:10.4204/eptcs.139.6
published as EPTCS 139, 2014, pp. 59-64 · In Proceedings LAFM 2013, arXiv:1401.0564
arxiv created 2014/01/06 · arxiv updated 2014/01/07
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.