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.
Cite
@article{arxiv.1401.0973,
title = {The DynAlloy Visualizer},
author = {Pablo Bendersky and Juan Pablo Galeotti and Diego Garbervetsky},
journal= {arXiv preprint arXiv:1401.0973},
year = {2014}
}