pith. sign in

arxiv: 1401.0973 · v1 · pith:UDJKQQM6new · submitted 2014-01-06 · 💻 cs.SE · cs.LO

The DynAlloy Visualizer

Pablo Bendersky (Departamento de Computaci\'on , FCEyN , UBA Buenos Aires , Argentina) , Juan Pablo Galeotti (Saarland University Saarbr\"ucken , Germany) , Diego Garbervetsky (Departamento de Computaci\'on This is my paper
classification 💻 cs.SE cs.LO
keywords dynalloytooluservisualizeralloycounterexamplesdealdebug
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.