The DynAlloy Visualizer
This tool addresses debugging challenges for users of the DynAlloy modeling language, but it is incremental as it extends an existing tool without introducing new methods or broad impacts.
The authors tackled the problem of debugging DynAlloy models by developing the DynAlloy Visualizer, which provides a user interface similar to a programming language debugger to navigate counterexamples, eliminating the need for users to handle the Alloy intermediate representation directly.
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.