Pablo Bendersky (Departamento de Computación, FCEyN, UBA Buenos Aires, Argentina) |
Juan Pablo Galeotti (Saarland University Saarbrücken, Germany) |
Diego Garbervetsky (Departamento de Computación, FCEyN, UBA Buenos Aires, Argentina) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.139.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |