6 citations · 6 across the 1 of their papers we have counts for
1 paper
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
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 de…