DynAlloy GUI requires an interface to visualize the counterexample trace. Providing facilities to go forward and backward in the trace and heap status.
Log in to post a comment.
