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

Gargi demonstrates the powerful yet easy-to-use formal exploration and debug capabilities of the JasperGold GUI and Visualize environment.