Quint Launch Event Follow-Up Q&A and Recap

Recap of our Quint launch event with community Q&A covering formal methods and model checking.