In this video, Joe Hupcey ask to Steve Geisler of the Questa Formal GUI R&D team about the challenges in migrating from the legacy Tcl/Tk GUI platform to the state-of-the-art Qt GUI technology, and how Qt enables efficient design of scalable, interactive GUI workflows for formal analysis.