Simplifying Formal 3: The JasperGold® Visualize Debug Environment – Gargi Sharma