The DynAlloy Visualizer
  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. 
Pablo Bendersky (Departamento de Computaci\'on, FCEyN, UBA Buenos   Aires, Argentina), Juan Pablo Galeotti (Saarland Univers...
cs.SE cs.LO